[理工] 離散 命題邏輯

[yorunohoshi (夜の星)]

想請問下列這種題目：

http://imgur.com/uTzeYTF


題目要問的是證明P恆為true


我自己是用矛盾法 假設P為False，然後下去證出q=true,r=false 與右邊式子矛盾

不知道這種題目這樣證可不可以？ 謝謝~

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.77.10
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1471011526.A.2C7.html
※ 編輯: yorunohoshi (140.112.77.10), 08/12/2016 22:21:48
推 aa06697: 感覺怪怪的(?) 矛盾法是p=>q 設q錯且假設p對 最後得出跟
→ aa06697: 已知定理(2)或p為對 矛盾的結果
推 aa06697: 而且你要怎麼矛盾(2) @@ p=>q 若p為false 不管q是什麼結
→ aa06697: 果 「p=>q」這句話都會是true哦
推 aa06697: 哦我好像知道了@@不過我覺得你一開始令q true r false怪
→ aa06697: 怪der
→ yorunohoshi: http://i.imgur.com/PyHo5Pr.jpg
→ yorunohoshi: 我一開始只有令P是False@@
→ krusnoopy: 覺得沒錯
→ aa06697: 哦這樣可以 不過嚴格上來講不止用了矛盾 還有反證
推 gsmzxcvbnm: 現在就看到這裡了....
→ yorunohoshi: 感謝大家～ 我覺得看得快慢是其次，重點是要一直堅
→ yorunohoshi: 持到那時，一起加油@@