想請問下列這種題目：
http://imgur.com/uTzeYTF
題目要問的是證明P恆為true
我自己是用矛盾法 假設P為False，然後下去證出q=true,r=false 與右邊式子矛盾
不知道這種題目這樣證可不可以？ 謝謝~

感覺怪怪的(?) 矛盾法是p=>q 設q錯且假設p對 最後得出跟已知定理(2)或p為對 矛盾的結果而且你要怎麼矛盾(2) @@ p=>q 若p為false 不管q是什麼結果 「p=>q」這句話都會是true哦哦我好像知道了@@不過我覺得你一開始令q true r false怪怪der

http://i.imgur.com/PyHo5Pr.jpg我一開始只有令P是False@@

覺得沒錯

哦這樣可以 不過嚴格上來講不止用了矛盾 還有反證

現在就看到這裡了....

感謝大家～ 我覺得看得快慢是其次，重點是要一直堅持到那時，一起加油@@