：(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。肯定前件是MP-1和MP-2在V和X同一的时候的特殊情况。
简化.因为这个逻辑的唯一连结词是"|"，符号"|"可以一起都丢弃，只留下圆括号用来组合字母。一对圆括号必须总是包含一对"wff"。使用这种简单表示法的例子有明显类似于LI