[學誌] Kahane: (Elementary) Logic. Ch.6

6.1 樹枝圖的基本想法："P1．P2．...．Pn /∴ C" iff "V(P1．P2．...．Pn．~C)=T"。

6.2 真值樹規則：總共八條 (P.154)。

6.3 種真值樹的細節：

1. 先種前提和否定結論；2. 確定每個種籽都已經成長為基礎形式；

3. 若全樹枝封閉 (推得矛盾) 則證成。

6.4 普遍形式 (normal form) 與樹。

DNF (deductive normal form): (P1．P2)V(P3．P4)V...V(Pn-1．Pn)。
　　※任何 wff 都能夠寫作 DNF 的形式，可證成。用於證成樹枝圖的完備性。
6.5 任何真值函式都能夠建構真值樹：應該能夠發現這是替證完備性鋪路吧。