【正文】
6。1218。 P P 218。 P 218。P217。Q)218。P217。(P217。Q)218。Q)(主析取范式)(3)判斷該命題公式的類型。 Q,P 174。 S結(jié)論:S 218。 Q P (2) 216。 Q T(1)E(3) Q 174。P 174。 S 174。R P (7) 216。R T(5,6)I (8) S218。每個人或者喜歡坐汽車或者喜歡騎自行車。因而有的人不喜歡步行。G(x):x喜歡坐汽車。解 前提:x(F(x)174。 G(x)),x(G(x)218。 H(x)。F(x)。H(x) P (2)216。H(x)) P (4) G(c)218。216。216。 F(c) T(5,7)I (9)($x)216。證 (1)($x)(C(x)∧Q(x)) P (2)C(c)∧Q(c) ES (1)(3)(x)(C(x)→ W(x)∧R(x)) P (4) C(c)→ W(c)∧R(c) US(3) (5) C(c) T(2)I(6)W(c)∧R(c) T(4,5)I (7)R(c)