間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)