令p：明天是晴天，q：明天是雨天，r：我看电影，s：我看书，则由 前提：p→r，￢q→p，￢r， 可以得到有效结论：q.
举一反三
- ( )不是正确的推理形式。 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)
- 构造推理的证明: 若明天是星期一或星期三, 我就有课. 若有课, 今天必需备课. 我今天下午没备课. 所以, 明天不是星期一和星期三.[br][/br] 证明 设 p:明天是星期一, q:明天是星期三， r:我有课，s:我备课 前提: , r→s, ￢s 结论: ￢p∧￢q 证明 ① r→s 前提引入 ② 前提引入 ③ ①②拒取式 ④ 前提引入 ⑤ ③④拒取式 ⑥ ￢p∧￢q⑤德摩根律 推理成立，所以,明天不是星期一和星期三.