[理工] 離散 命題邏輯

看板Grad-ProbAsk作者 (夜の星)時間9年前 (2016/08/12 22:18), 9年前編輯推噓4(4推 0噓 9→)
留言13則, 4人參與, 最新討論串1/3 (看更多)
想請問下列這種題目： 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
推
08/13 09:45, , 1F
感覺怪怪的(?) 矛盾法是p=>q 設q錯且假設p對 最後得出跟
08/13 09:45, 1F
→
08/13 09:45, , 2F
已知定理(2)或p為對 矛盾的結果
08/13 09:45, 2F
推
08/13 09:48, , 3F
而且你要怎麼矛盾(2) @@ p=>q 若p為false 不管q是什麼結
08/13 09:48, 3F
→
08/13 09:48, , 4F
果 「p=>q」這句話都會是true哦
08/13 09:48, 4F
推
08/13 09:51, , 5F
哦我好像知道了@@不過我覺得你一開始令q true r false怪
08/13 09:51, 5F
→
08/13 09:51, , 6F
怪der
08/13 09:51, 6F
→
08/13 10:08, , 7F
08/13 10:08, 7F
→
08/13 10:08, , 8F
我一開始只有令P是False@@
08/13 10:08, 8F
→
08/13 14:56, , 9F
覺得沒錯
08/13 14:56, 9F
→
08/13 16:52, , 10F
哦這樣可以 不過嚴格上來講不止用了矛盾 還有反證
08/13 16:52, 10F
推
08/13 21:10, , 11F
現在就看到這裡了....
08/13 21:10, 11F
→
08/13 23:54, , 12F
感謝大家～ 我覺得看得快慢是其次，重點是要一直堅
08/13 23:54, 12F
→
08/13 23:54, , 13F
持到那時，一起加油@@
08/13 23:54, 13F
‣ 更多 yorunohoshi 的文章
文章代碼(AID): #1NhTh6B7 (Grad-ProbAsk)
‣ 更多 yorunohoshi 的文章
文章代碼(AID): #1NhTh6B7 (Grad-ProbAsk)