以(p∧q)←r为前提,其结论为“『r”,则另一个前提是()1p∧q2p∨q3『p∨『q4『p∧『q A: 1 B: 2 C: 3 D: 4

2022-05-29

以(p∧q)←r为前提,其结论为“『r”,则另一个前提是()1p∧q2p∨q3『p∨『q4『p∧『q
A: 1
B: 2
C: 3
D: 4

答案：

C

0
当¬p∧¬q为前提，再补上（）或（）作为另一前提，则可得结论r。 A: p∨q∨ B: ¬r→（p∨q） C: →（¬p∧¬q） D: ¬p∧¬q∧¬ E: p∨q∨¬
1
化简下面的公式。<br/>（1）P∨（﹁P∨（Q∧﹁Q））<br/>（2）（P∧Q∧R）∨（﹁P∧Q∧R）<br/>（3）（（P→Q）↔（﹁Q→﹁P））∧R<br/>（4）（（P→Q）↔（﹁Q→﹁P））∨R
2
分别写出下列前提推出的结论(1) ┐p∨q, q→r, ┐r______ (2) p∨q, p→r, q→s______ (3) ┐p→q, p→r, r→s______ (4) p, ┐p∨r, ┐r∨s______ A.s B.p C.r∨s D. ┐p E.q∨s F. ┐r G.r→s H.r→p
3
构造下列命题的真值表。（1）¬（P→Q）∧Q。（2）（P→¬Q）→¬Q。（3）P→Q∨R。（4）P↔¬Q。（5）（（P∨Q）→R）↔S。
4
用真值表判断下列公式的类型 (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)