￢（∀x∃y∀z(p)）≡∃x∀y∃z(￢p)について。

お世話になります。
よろしくお願いします。

￢（∀x∃y∀z(p)）≡∃x∀y∃z(￢p)
の理解と証明ができずに困っています。

日本語的な解釈の仕方あるいは記号論理学での証明法あるいはお勧めの参考書などご存知の方がいましたら教えてください。

ちなみに
￢(∃x（p）)≡∀x(￢p)
は理解できてます。

よろしくお願いします。

No.1 ベストアンサー 回答者： kabaokaba 回答日時： 2007/11/03 17:35

きちんと全部，括弧をつければいいんじゃない？

￢（∀x∃y∀z(p)）は
￢（∀x(∃y(∀z(p)))）のこと
Q=∃y(∀z(p))とすれば
￢（∀x(Q)) だから ∃x（￢Q）
P=∀z(p)とすれば
￢Q=￢(∃y(P))=∀y(￢P)=∀y(∃z(￢p))
だから
￢（∀x∃y∀z(p)）=∃x∀y∃z(￢p)

この回答へのお礼

どうもありがとうございます。
大変よくわかりました。
助かりました！

お礼日時：2007/11/04 18:01