分符号（Prime, ′ ）一次或多次还是一个原子（比如A<nowiki>'</nowiki>, B<nowiki>"</nowiki>, C<nowiki></nowiki>, D<nowiki>'</nowiki>都是原子）。构造规则I：原子是合式公式（"wff"）。构造规则II：如果X和Y是wff，则(X|Y)是wff。闭包规则：不能使用前两个构造规则构造的任何公式都不是wff。字母U，V，X和Y是表示wff的元变量。 确定一个公式是否是合式公式的一个判定过程如下：反向应用构造规则