※ 引述《a82k7 (跳着说)》之铭言：
: 1.最后产出的树枝也有~R 这时是因为有~~R的树枝 因此矛盾吗?
: 所以是不是判断矛盾 除了往上看之外 同时也要与其他树枝做比对呢?
: (抱歉非挑战语气 实在是我自己对定义的不了解故有此问)
往上看就好，它上面就有~~R
: 2.我想请教为何最后一支树枝 ~O分枝~R
: 会摆在~E的下方呢?一定要摆那吗?若是的话 原因是什么?
应该说，其他的分支都要摆，只是他们已经矛盾了，不用多此一举
只有~E还没有矛盾，所以继续往下做
: 3.请问树枝法可以判断逻辑是否一致吗?
: 书中说‘所谓p命题和q命题逻辑上不一致，就是说由它们构成的
: 连言命题“p^q”是一个矛盾句。’
: 但树枝法似乎只能判断是否为恒真句
: 假设我透过树枝法 判断出一个连言命题非恒真句
: 那是否有可能该连言命题为1.矛盾句 2.偶真句 这样我如何分辨是否逻辑一致呢?
: 若1 则不一致
: 若2 则一致(?)
: