[理工] [離散]-邏輯
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
→
04/15 14:36, , 1F
04/15 14:36, 1F
→
04/15 14:40, , 2F
04/15 14:40, 2F
→
04/15 14:44, , 3F
04/15 14:44, 3F
推
04/16 01:53, , 4F
04/16 01:53, 4F
討論串 (同標題文章)