构造以下推理的证明前提：￢P∨Q,￢(Q∨R),R结论：￢P
你可能写错了,┐(q∨r)应为┐(q∧r),否则推不出结论. 前提：┐p∨q,┐(q∧r),r 结论：┐p 推理如下： 1）r前提引入 2）┐(q∧r)前提引入 3）┐q∨┐r2）等价置换 4）┐q1）3）析取三...
举一反三
- ( )不是正确的推理形式。 A: 前提：￢p∧q,p∨￢r,r∨s,s→u 结论：u B: 前提：(p∧q)→r, ￢r∨s,￢s,p 结论：￢q C: 前提：(p∧q)→r,￢r∨s, ￢s,p 结论：q D: 前提：p∨q,p→s,q→r 结论：s∨
- 计算（￢P → Q）←→ R主析取范式规范正确的是 ——————— 。 A: (P ∧ Q ∧ ￢R) ∨ (P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ ( ￢P ∧ ￢Q ∧ R) B: (P ∧ Q ∧ ￢R) ∨ (P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ ( ￢P ∧ ￢Q ∧ R) C: ( P ∧ Q ∧ R)∨ (P ∧ ￢Q ∧ R)∨ (￢P ∧ Q ∧ R) ∨ (￢P ∧ ￢Q ∧ ￢R) D: (￢P ∧ ￢Q ∧ ￢R) ∨ (￢P ∧ Q ∧ R) ∨ (P ∧ ￢Q ∧ R) ∨ ( P ∧ Q ∧ R)
- 计算(P→Q)∧(￢P→R)的主析取范式规范正确的是 ——————— 。 A: (￢P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) B: (P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ￢R) ∨ (￢P ∧ Q ∧ R) ∨ (￢P ∧ ￢Q ∧ R) C: (￢P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ ￢R) ∨ (P ∧ Q ∧ ￢R) ∨ (P ∧ Q ∧ R) D: (￢P ∧ ￢Q ∧ R) ∨ (￢P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ￢R) ∨ (P ∧ Q ∧ R)
- 计算（￢P → Q）←→ R析取范式规范正确的是 ——————— 。 A: (P ∧ ￢Q ∧ ￢R) ∨ (P ∧ R) ∨ ( Q ∧ R) B: (￢P ∧ ￢Q ∧ ￢R) ∨ (P ∧ R) ∨ ( Q ∧ R) C: (P ∧ ￢Q ∧ ￢R) ∨ (P ∧ Q) ∨ ( Q ∧ R) D: (P ∧ ￢Q ∧ ￢R) ∨ (￢P ∧ Q) ∨ ( Q ∧ R)
- 若运用等值演算法证明P→(Q→R)≒(P∧Q)→R ,请判断下列证明过程是否正确 证明： P→(Q→R)≒￢P∨ (Q→R) ≒ ￢P∨ (￢Q ∨R) ≒( ￢P∨￢ Q ) ∨R ≒￢( P∧ Q ) ∨R ≒(P∧Q)→R ∴原等价式成立
内容
- 0
构造以下复合命题的真值表。A. p→(￢q∨r) ：_________B. ￢p→(q→r) ：_________C. (p→q)∨(￢p→r) ：_________D. (p→q)∧(￢p→r) ：_________E.(p→q)∧(￢p∨q) ：_________
- 1
用真值表方法判定下列推理是否有效1.(p∨q→r)∧￢r∧￢p→￢q2.(p∨q→r)∧￢r∧p→￢q
- 2
下面公式是合取范式的有（） A: p B: ￢p C: p∨￢q D: p∨￢q∨ E: p∧￢q F: (p∧￢q)∨ G: (p∧￢q)∨r∨(p→r) H: ￢(p∧￢q)∨ I: p∧(q∨r) J: (p∨￢r)∧(￢q∨r)∧(￢p∨q∨r)
- 3
前提P→￢Q,P,Q∨R的结论是 。 A: ￢P B: Q C: ￢R D: R
- 4
前提P→￢Q,P,Q∨R的结论是 。 A: ￢P B: Q C: ￢R D: R