使用真值表法判断下列推理是否正确（1） ¬p，p ∨ q ⇒ p ∧ q（2） ¬q ∧ r，r ∧ p，q ⇒ p ∨¬q
举一反三
- 用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)
- 构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。
- 构造下列命题公式的真值表。(1)q∧(p→q)→p(2)p→(q∨r)(3)(p∨q)↔(q∨p)
- 构造下列推理的证明。 （1）前提：¬P∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P
- 若p=1,q=0,r=1,则下列命题公式真值为1的是()。 A: ¬(p∨q)↔(r→p) B: (p→q)∧(p→r) C: (p→q)→(p→r) D: p∧(q∨p)→q