2.6.2 语义树与Herbrand定理
　　对S的不可满足性，从几何上进行一些讨论是有益的。可以将子句集S的所有可能解释展示在一棵树上，进而观察每个分枝对应的S的逻辑真值是真是假。
　　语义树的构成方法如下
　　原子集A中所有元素逐层添加到一棵二叉树，并将元素的'是'与'非'分别标记在两侧的分枝上。