→ chris750630:你的解有問題 如果q=0 (最後) 那不就沒矛盾了? 04/15 14:36
→ chris750630:除非是(~p^q)->r 04/15 14:40
→ chocosan:可是p不是已經設為0了嗎?那v任何數都還是為1不是嗎 04/15 14:44
推 chris750630:喔對... 搞錯了XD (我下午再想啥阿我 XDD) 04/16 01:53
Show the validity of the following argument:
(~pvq)->r
r->(svt)
~s^~u
~u^~t
__________
.
. . p
這一題老師上課講義是用三段論証
我可以用找反例矛盾証法證明這一題嗎
如果可以的話，我以下的找反例矛盾証法是否正確呢?
sol:
設(~pvq)->r,r->(svt),~s^~u,~u^~t皆為真，p為假
由p為假可知p為0,
因為~u^~t為真，所以u，t皆為0
帶入~s^~u為真，所以s為0,
帶入r->(svt)為真，所以r為0
帶入(~pvq)->r為真，得知r須為1....矛盾
故原敘述為恆真，所以為valid
謝謝各位~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.113.133.71