肯定部分(positive part)公式中特定的一部分.設F是一個公式，F的肯定(否定)部分可如下歸納地定義:1. F是F的肯定部分.2.如果}A是F的一個肯定(否定)部分，那么A是F的否定(肯定)部分，3.如果(AVB)是F的肯定部分，那么A與B皆為F的肯定部分.4.如果(A八B)是F的否定部分，那么A及B皆為F的否定部分.5.如果(A--> B)是F的肯定部分，那么A是F的否定部分，B是F的肯定部分.6.如果(A~土)是F的否定部分，那么A是F的肯定部分，其中土表示假.
