※ 引述《a82k7 (跳著說)》之銘言：
: 1.最後產出的樹枝也有~R 這時是因為有~~R的樹枝 因此矛盾嗎?
: 所以是不是判斷矛盾 除了往上看之外 同時也要與其他樹枝做比對呢?
: (抱歉非挑戰語氣 實在是我自己對定義的不了解故有此問)
往上看就好，它上面就有~~R
: 2.我想請教為何最後一支樹枝 ~O分枝~R
: 會擺在~E的下方呢?一定要擺那嗎?若是的話 原因是什麼?
應該說，其他的分支都要擺，只是他們已經矛盾了，不用多此一舉
只有~E還沒有矛盾，所以繼續往下做
: 3.請問樹枝法可以判斷邏輯是否一致嗎?
: 書中說『所謂p命題和q命題邏輯上不一致，就是說由它們構成的
: 連言命題「p^q」是一個矛盾句。』
: 但樹枝法似乎只能判斷是否為恆真句
: 假設我透過樹枝法 判斷出一個連言命題非恆真句
: 那是否有可能該連言命題為1.矛盾句 2.偶真句 這樣我如何分辨是否邏輯一致呢?
: 若1 則不一致
: 若2 則一致(?)
: