命题公式(P∨Q)∧(P→R)∧(Q→R)的极大项有 A: P∨Q∨R B: P∨Q∨¬R C: P∨¬Q∨R D: P∨¬Q∨¬R E: ¬P∨Q∨R F: ¬P∨Q∨¬R G: ¬P∨¬Q∨R

关注微信公众号《课帮忙》查题

公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！

2022-05-26 问题

命题公式(P∨Q)∧(P→R)∧(Q→R)的极大项有 A: P∨Q∨R B: P∨Q∨¬R C: P∨¬Q∨R D: P∨¬Q∨¬R E: ¬P∨Q∨R F: ¬P∨Q∨¬R G: ¬P∨¬Q∨R

2022-05-26 问题

以“～p”和“p←（q←r）”为前提，可必然推出结论（）。 A: p←r B: ～p∨r C: q→p D: r E: ～（q←r）

2022-05-26 问题

判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明：⑴ p→q P规则 ⑵ q→r P规则 ⑶ p→r T⑴⑵I ⑷ ¬r→¬p T⑶E

2022-05-26 问题

判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明:⑴ p→q P规则 ⑵ q→r P规则 ⑶ p→r T⑴⑵I ⑷ ¬r→¬p T⑶E ⑸ ¬r P规则 ⑹ ¬p T⑷ ⑸I 所以¬p是前提p→q,q→r,¬r的有效结论

判断证明(p→q)∧(q→r)∧¬r=﹥¬p 的过程是否正确。证明:⑴ p→q P规则 ⑵ q→r P规则 ⑶ p→r T⑴⑵I ⑷ ¬r→¬p T⑶E ⑸ ¬r P规则 ⑹ ¬p T⑷ ⑸I 所以¬p是前提p→q,q→r,¬r的有效结论

2022-05-26 问题

以“～p”和“p←（q←r）”为前提，可必然推出结论（）。 A: Ap←r B: B～p∨r C: Cq→p D: Dr E: E～（q←r）

2022-10-29 问题

下列推理形式中，无效的有（）。 A: （（p∨～q）∧q）→～p B: （（p∧q）∧r）→（p∧r） C: （（～p→q）∧q）→～p D: （（p→q）∧（r∧p））→q E: （p→q）∧（r→s）∧（q∨s））→（p∨r）

下列推理形式中，无效的有（）。 A: （（p∨～q）∧q）→～p B: （（p∧q）∧r）→（p∧r） C: （（～p→q）∧q）→～p D: （（p→q）∧（r∧p））→q E: （p→q）∧（r→s）∧（q∨s））→（p∨r）

2022-06-12 问题

以“（p→q）→r”和“～r”为前提，可必然推出结论（）。 A: ～p∧q B: r→p C: q∨r D: ～（～p∨q） E: ～q∧p

2022-06-16 问题

公式（p∨q）→r的主合取范式是（） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)

公式（p∨q）→r的主合取范式是（） A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)

2022-06-12 问题

以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。 A: ～r B: ～q C: ～p D: r→p E: p∧q

2022-06-03 问题

命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)

命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)

1 2 3 4 5 6 7 8 9 10