２階論理の式です。

質問

これで、ちゃんとした論理式になっていますでしょうか。間違いがありましたら御訂正下さい。：
∀ｘ∀P（￢（Px∧￢Px))　⇔　￢∃ｘ￢∃P(Px∧￢Px).

回答No.1

muturajcp · ベストアンサー

∀x∀P(￢(Px∧￢Px))=∀x∀P((￢Px)∨Px)=真
￢∃x{￢∃P(Px∧￢Px)}=￢∃x{∀P((￢Px)∨Px)}=∀x{∃P(Px∧￢Px)}=偽

[∀x∀P(￢(Px∧￢Px))⇔￢∃x{￢∃P(Px∧￢Px)}]=偽

￢{∃x∃P(Px∧￢Px)}=∀x∀P((￢Px)∨Px)=真

[∀x∀P(￢(Px∧￢Px))⇔￢{∃x∃P(Px∧￢Px)}]=真

お礼

御回答有難う御座いました。