一題邏輯的問題 需要用直接證法

2014-04-14 2:31 am
A→[C→(D‧~E)]
~(B‧~C)
~(D v~A) /∴~B
更新1:

請問若用邏輯的十八個規則來寫,該怎麼寫呢

回答 (13)

2014-04-14 3:31 am
✔ 最佳答案
A→[C→(D‧~E)]
~(B‧~C)
~(D v~A) /∴~B
Sol
~(D v~A)
≡~D.A
So
D=>false,A=>true
A→[C→(D‧~E)]
≡~Av[C→(D‧~E)]
≡[C→(D‧~E)]
≡[C→(~E)]
≡[(~C)v~E]
≡~C.~E
So
C=>false,E=>false
~(B‧~C)
≡~(B)
≡~B


2014-05-30 5:04 pm
參考下面的網址看看

http://phi008780520.pixnet.net/blog
2014-05-02 3:43 pm
參考下面的網址看看

http://phi008780430.pixnet.net/blog
2014-05-01 5:37 pm
下面的網址應該對你有幫助

http://phi008780430.pixnet.net/blog
2014-04-30 11:00 pm
下面的網址應該對你有幫助

http://phi008780430.pixnet.net/blog
2014-04-29 4:27 pm
下面的網址應該對你有幫助

http://phi008780426.pixnet.net/blog
2014-04-28 4:09 pm
下面的網址應該對你有幫助

http://phi008780426.pixnet.net/blog
2014-04-28 7:07 am
下面的網址應該對你有幫助

http://phi008780426.pixnet.net/blog
2014-04-27 11:04 pm
下面的網址應該對你有幫助

http://phi008780426.pixnet.net/blog
2014-04-25 2:57 pm
下面的網址應該對你有幫助

http://phi008780424.pixnet.net/blog
2014-04-24 1:59 pm
下面的網址應該對你有幫助

http://phi008780424.pixnet.net/blog
2014-04-16 3:47 pm
發問者你好:

幫你整理好了,詳細資料在這邊

http://adf.ly/jXLsv

希望其他回答者也認同我意見^^
2014-04-14 7:24 pm
下面的網址能回答你的問題

http://phi008780414.pixnet.net/blog


收錄日期: 2021-04-30 18:37:34
原文連結 [永久失效]:
https://hk.answers.yahoo.com/question/index?qid=20140413000010KK05187

檢視 Wayback Machine 備份