X)对偶律：如果形如X和(X|X)的字符串都出现在一个定理中，则如果对换这两个字符串在这个定理中的所有出现，则结果也是个定理。双重否定律： ((X|X)|(X|X)) = X模仿律：(U|(X|X)) =(U|(U|X)) <br>THEN-3：(U|(U|(V|(V|X)))) =(V|(V|(U|(U|X))))MP-1： U,(U|(V|X)) formula_6 V MP-2： U,(U|(V|X)) formula_6 X 注意。公式(U|(V|X))有释义U→V∧X