12/01/28 22:28:45.86
こんばんは。初めて書き込むのですが、論理学の質問をしたいと思って
ネット上を探していたらここにたどりつきました。ご助力願います。
質問 Ｌｐの論理式でないのはどれか。
(1)∀w∀x∃zＲ(x,z)
(2)∀xＰx⊃∀xＲ(x,c)
(3)∀xＰx⊃∀cＲ(x,c)
(4)∀z∀x(∀xＰx⊃∀zＲ(zz))
です。出題の意図がわかりかねまして質問しました。
どうぞよろしくお願いします。
12/01/28 22:28:45.86
こんばんは。初めて書き込むのですが、論理学の質問をしたいと思って
ネット上を探していたらここにたどりつきました。ご助力願います。
質問 Ｌｐの論理式でないのはどれか。
(1)∀w∀x∃zＲ(x,z)
(2)∀xＰx⊃∀xＲ(x,c)
(3)∀xＰx⊃∀cＲ(x,c)
(4)∀z∀x(∀xＰx⊃∀zＲ(zz))
です。出題の意図がわかりかねまして質問しました。
どうぞよろしくお願いします。