逻辑学题求助
答案:1 悬赏:10 手机版
解决时间 2021-01-12 11:44
- 提问者网友：斑駁影
- 2021-01-11 18:15
逻辑学题求助
最佳答案
- 五星知识达人网友：春色三分
- 2021-01-11 19:10
先证明15题：
15：
p→q ↔ (p→q)∧ (p∨ ¬p)
↔(p→q ∧ p) ∨(p→q ∧ ¬p)
↔q ∨(p→q ∧ ¬p)
因为p→q在p为假时恒为真，所以原式
↔ q ∨ ¬p
5：p→q∧ ¬q
↔ (q ∨ ¬p)∧ ¬q
↔ (q ∧ ¬q) ∨( ¬p∧ ¬q)
↔ ¬p∧ ¬q
→ ¬p
6 (p ∨ q) ∧ ¬p
↔ (p ∧ ¬p) ∨ (q ∧ ¬p)
↔ q ∧ ¬p
→ q
另一个同理。
8：p→q∧ q→r
↔ (p∨¬p) ∧（p→q∧ q→r）
↔ (p ∧ p→q∧ q→r) ∨ ( ¬p ∧ p→q∧ q→r)
→ r ∨ ¬p
↔ p→r
9
p→(r ∧ ¬r)
↔ p→0
↔ ¬p ∨ 0
↔ ¬p
17：(p ↔ q)
↔ (p →p ) ∧ (¬p → ¬q)
↔ (p →p ) ∧ (p ∨ ¬q)
↔ (p →p ) ∧ (q → p)
15：
p→q ↔ (p→q)∧ (p∨ ¬p)
↔(p→q ∧ p) ∨(p→q ∧ ¬p)
↔q ∨(p→q ∧ ¬p)
因为p→q在p为假时恒为真，所以原式
↔ q ∨ ¬p
5：p→q∧ ¬q
↔ (q ∨ ¬p)∧ ¬q
↔ (q ∧ ¬q) ∨( ¬p∧ ¬q)
↔ ¬p∧ ¬q
→ ¬p
6 (p ∨ q) ∧ ¬p
↔ (p ∧ ¬p) ∨ (q ∧ ¬p)
↔ q ∧ ¬p
→ q
另一个同理。
8：p→q∧ q→r
↔ (p∨¬p) ∧（p→q∧ q→r）
↔ (p ∧ p→q∧ q→r) ∨ ( ¬p ∧ p→q∧ q→r)
→ r ∨ ¬p
↔ p→r
9
p→(r ∧ ¬r)
↔ p→0
↔ ¬p ∨ 0
↔ ¬p
17：(p ↔ q)
↔ (p →p ) ∧ (¬p → ¬q)
↔ (p →p ) ∧ (p ∨ ¬q)
↔ (p →p ) ∧ (q → p)
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯