是公理。可以证明只要有这三个公理模式和「肯定前件」，即可证明出所有命题演算中的重言式。也可证明只以其中的一对模式是无法和「肯定前件」一起充分证明出所有的重言式的。其他包含着相同或不同逻辑运算符的公理模式也可以另行建构出来。这些公理模式也被使用于谓词逻辑里，但需要附加上其他逻辑公理，借以讨论包含了量词的命题。
一阶逻辑.这表示，对于任一变数formula_11，公式formula_12可被视为是一个公理。而且，在这例子里，为了不落入含煳不清及一连串永不终止的「原始概念」之中，