想请问下列这种题目：
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@@

觉得没错

哦这样可以 不过严格上来讲不止用了矛盾 还有反证

现在就看到这里了....

感谢大家～ 我觉得看得快慢是其次，重点是要一直坚持到那时，一起加油@@