※ 引述《a5378623 (黑雲)》之銘言：
: 判斷有沒有「矛盾」要看往上看，如果同時存在P和~P的狀況，就是矛盾。
: 樹枝法是「分解」命題的技巧，他幫我們把複雜的句子簡化為「命題為真時，各個符號的
: 真值狀況」所以當你發現，要使命題為真，需要讓某個符號同時是真也是假，那你就知道
: 他矛盾，這個命題不可能有效。
: ~~R上面有~R彼此矛盾。
: ~Q和~R要往下寫，是因為其他都矛盾了不用繼續。
謝謝大大的說明
照大大的「判斷有沒有「矛盾」要看往上看」所說
我看完後的理解是：
因原命題有~R 但最後產出的樹枝為~~R 故矛盾
~E跟~O也是一樣的狀況
還是有些問題想請教
1.最後產出的樹枝也有~R 這時是因為有~~R的樹枝 因此矛盾嗎?
所以是不是判斷矛盾 除了往上看之外 同時也要與其他樹枝做比對呢?
(抱歉非挑戰語氣 實在是我自己對定義的不了解故有此問)
2.我想請教為何最後一支樹枝 ~O分枝~R
會擺在~E的下方呢?一定要擺那嗎?若是的話 原因是什麼?
3.請問樹枝法可以判斷邏輯是否一致嗎?
書中說『所謂p命題和q命題邏輯上不一致，就是說由它們構成的
連言命題「p^q」是一個矛盾句。』
但樹枝法似乎只能判斷是否為恆真句
假設我透過樹枝法 判斷出一個連言命題非恆真句
那是否有可能該連言命題有兩種可能1.矛盾句 2.偶真句
這樣我如何分辨是否邏輯一致呢?
若1 則不一致
若2 則一致(?)