(01)1 (1) ∀x{日本x&首都x→ 東京x) A 2 (2) ∃x(首都x& ~東京x) A1 (3) 日本a&首都a→ 東京a 1UE 4 (4) 首都a&~ 東京a A 5(5) 日本a A 4 (6) 首都a 4&E 45(7) 日本a&首都a 56&I1 45(8) 東京a 37MPP 4 (9) ~東京a 4&E1 45(ア) 東京a&~東京a 89&I1 4 (イ) ~日本a 5アRAA1 4 (ウ) ~日本a&首都a 6イ&I1 4 (エ) ~日本a&首都a&~東京a 9ウ&I1 4 (オ)∃x(~日本x&首都x&~東京x) エEI12 (カ)∃x(~日本x&首都x&~東…