間6.9.集合 D(# 0)があり、 D上の述語 P(x), Q(x) が定められているとする. ただし, T(P(x)) 0
かつT(Q(x) 0であるとする。 このとき、 次の (A), (B) それぞれの状況を考える。
(A) T(P(x)) つ T(Qx) かつ D# T(P(x)) # T(Q(x)
(B) T(P(x)) n T(Cx)) = 0 かつT(P(x))UT(Qx)) # D
以下の設問(a), (b) に答えよ。
(a)(A)の状況において, 以下の (1)~(16) の中に成り立つものが1つある。 それを選び出し, その
番号を答えよ。
(b)(B)の状況において、 以下の (1)~(16) の中に成り立つものが1つある。 それを選び出し, その
番号を答えよ
(1) P(x) = Qx) かつ Q(x) = P(x)
(2) P(x) = Qx) かつ-x) 3 P(x)
(3) P(x) → Q(x) かつ Q(x) = →P(x)
(4) P(x) = Q(x) かつ-Q(x) = -Px)
(S) P(x) → -Q(x) かつ Qx) 3 P(x)
(6) P(x) = -Q(x) かつ-Qx) = Px)
(7) P(x) = -Q(x) かつ Q(x) = -P(x)
(8) P(x) = -Qx)かつ-Qx) → -P(x)
(9) -P(x) = Q(x) かつ ((x) 3 P(x)
(10) -P(x) = Qx) かつ-Qx) 3D P(x)
(11) -P(x) = Qx) かつ Q(x) → -P(x)
(12) -P(x) = Qx) かつ-Q(x) 3 →P(x)
(13) -P(x) = -Qx) かつ Qx) 3 P(x)
(14) -P(x) = -Q(x) かつ-Q(x) 3 P(x)
(15) -P(x) = -Qx) かつ Q(x) 3 -P(x)
(16) -P(x) = -Q(x) かつ-Q(x) 3 -P(x)
