>>973

Fx：xは偶数である
Gx：xは2の倍数である

とする

∀xFx→∀xGx

を示す

(1)　¬(∀xFx→∀xGx)
(2)　(∀x)Fx
(3)　¬(∀x)Gx
(4)　¬Ga
(5)　Fa

ゆえにタブローは閉じないので命題不成立である

A∧¬Aは無理だわ