和赋值上都是「正确」的陈述。通常将逻辑公理视为能充分证明所有此语言中重言式的一套「最小」的重言式；在谓词逻辑中有更多的逻辑公理是需要的，为了证明那些在严格意义上不是重言式的逻辑事实。
例子.
命题逻辑.在命题逻辑里，一般将逻辑公理视为所有如下形式的公式，其中的formula_1、formula_2和formula_3可以是语言中的任何公式，且包含的逻辑运算符只有逻辑非formula_4和蕴涵formula_5两种：上面的每个形式都是一个「公理模式」，是用