分类:命题逻辑定理：修订间差异

在[[:分类:命题逻辑]]的[[演绎]]推理中，有一些常见的[[公理（逻辑）|公理]]或中间[[定理]]，其根据推理框架的不同可能扮演不同的身份。这些定理都有各自特定的名称，本分类下容纳这些定理的名称和说明。