请分析下列截交线的边数[img=400x667]180328b186d8547.png[/img]
A: P:4;Q:5;R:4
B: P:3;Q:4;R:3
C: P:4;Q:5;R:5
D: P:4;Q:5;R:3
A: P:4;Q:5;R:4
B: P:3;Q:4;R:3
C: P:4;Q:5;R:5
D: P:4;Q:5;R:3
举一反三
- 构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。
- 用真值表判断下列公式的类型 (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∧¬R）。 （2）P∨（Q∧R）→P∧Q∧R。 （3）¬（P→Q）∧Q∧R。 （4）（P→Q）→R。 （5）（¬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
- (1)p→q (2)┐q∨r (3)(┐p∨q)∧((p∧r)→p) (4)(q→r)∧(p→p) A: （1）和（2） B: （1）和（3） C: （2）和（3） D: （2）和（4）