作者rfvbgtsport (uygh)
看板Math
标题请教一题等价的证明
时间Fri Oct 15 23:30:17 2021
https://i.imgur.com/YnktdrT.jpg
请教大大们，这一题该如何证明？可否指点一下，谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 27.51.56.132 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1634311819.A.03E.html
1F：→ mantour : 等价於 ~r 且 ~(q且(~r->~p)) 10/16 01:01
2F：→ mantour : 等价於 ~r 且(~q或~(~r->~p)) 10/16 01:01
3F：→ mantour : 等价於~r且(~q或~(~~r或~p)) 10/16 01:01
4F：→ mantour : 等价於~r且（~q或（~r且p)) 10/16 01:01
5F：→ mantour : 等价於(~r且~q)或（~r且(~r且p)) 10/16 01:01
6F：→ mantour : 等价於(~r且~q)或((~r且~r)且p) 10/16 01:01
7F：→ mantour : 等价於(~r且~q)或(~r且p) 10/16 01:01
8F：→ mantour : 等价於~r且(~q或p) 10/16 01:01
9F：→ mantour : 等价於~r且(p或~q) 10/16 01:01
10F：→ mantour : 就是德摩根，交换律，结合律，分配律等重复使用 10/16 01:12
11F：→ mantour : 还有用到 p->q等价於~pvq 10/16 01:13
12F：→ rfvbgtsport : 太感谢大大了 10/16 08:34