作者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/m.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