(01)1 (1)∀x{日本x→∃y(東京y&首都yx&∀z(首都zx→y=z)} A1 (2) 日本a→∃y(東京y&首都ya&∀z(首都za→y=z) 1UE 3 (3) 日本a A13 (4) ∃y(東京y&首都ya&∀z(首都za→y=z) 23MPP 5 (5) 東京b&首都ba&∀z(首都za→b=z) A 5 (6) 東京b 5&E 5 (6) ∀z(首都za→b=z) 5&E 5 (7) 首都ca→b=c 6UE 8 (8)∃z(大阪z&~東京z) A 9 (9) 大阪c&~東京c A 9 (ア) 大阪c 9&E 9 (イ) ~東京c 9&E ウ(ウ) b=c A 9ウ(エ) …