分类:谓词逻辑定理

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