辑.在命题逻辑里，一般将逻辑公理视为所有如下形式的公式，其中的formula_1、formula_2和formula_3可以是语言中的任何公式，且包含的逻辑运算符只有逻辑非formula_4和蕴涵formula_5两种：上面的每个形式都是一个「公理模式」，是用来产生无限多公理的规则。例如，若"A"、"B"和"C"是命题变数，则formula_9和formula_10都会是公理模式1.的例子，因此都会是公理。可以证明只要有这三个公理模式和「肯定前件」，即可证明出所有命题演算中的重言式。也可证明只以其中