查看“︁模板:命题逻辑”︁的源代码

{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%'
|-
! colspan=3 style='border-bottom-width:2px' | [[:分类:命题逻辑|命题逻辑]]/零阶逻辑
|-
! rowspan=2 | 基本概念
! 命题
| [[命题|命题、命题变元、命题常量]]
|-
! [[真值]]
| [[真|真 <math>\mathrm{T}</math>/<math>1</math>/<math>\top</math>]] 、[[假|假 <math>\mathrm{F}</math>/<math>0</math>/<math>\bot</math>]]
|-
! rowspan=3 | 命题结构
! 命题结构
| [[原子命题、复合命题]]
|-
! rowspan=2 | [[逻辑联结词]]
| [[否定|否定（非） <math>\lnot</math>]] 、[[合取|合取（且/与） <math>\land</math>]] 、[[析取|析取（或） <math>\lor</math>]]
|-
| [[蕴涵|蕴涵（推出） <math>\rightarrow</math>]] 、[[等价（逻辑）|等价（当且仅当） <math>\leftrightarrow</math>]]
|-
! rowspan=5 | 命题公式
! 形式定义
| [[命题语言|命题语言 <math>\mathcal{L}_0</math>]] 、[[命题公式]]
|-
! 逻辑语义
| [[指派（命题逻辑）|指派]]、 [[Tarski 真理定义]]、[[解释（命题逻辑）|解释]]、[[真值表]]、[[满足（命题逻辑）|满足]]
|-
! 语义分类
| [[命题公式分类|重言式/永真式、偶然式/仅可满足式/可真可假式、矛盾式/永假式/不可满足式]]
|-
! 语义关系
| [[等值（逻辑）|重言等价/等值/等价 <math>=</math>/<math>\Leftrightarrow</math>]] 、[[重言蕴涵|重言蕴涵 <math>\Rightarrow</math>]]
|-
! [[范式（命题公式）|范式]]
| [[析取范式、合取范式]]（[[主析取范式、主合取范式]]）
|}