模板:命题逻辑：修订间差异

2025年11月3日 (一) 07:35的版本

命题逻辑/零阶逻辑
基本概念	命题	命题、命题变元、命题常量
基本概念	真值	真 [math]\displaystyle{ \mathrm{T} }[/math]/[math]\displaystyle{ 1 }[/math]/[math]\displaystyle{ \top }[/math] 、假 [math]\displaystyle{ \mathrm{F} }[/math]/[math]\displaystyle{ 0 }[/math]/[math]\displaystyle{ \bot }[/math]
逻辑联结词	否定（非） [math]\displaystyle{ \lnot }[/math] 、合取（且/与） [math]\displaystyle{ \land }[/math] 、析取（或） [math]\displaystyle{ \lor }[/math]
逻辑联结词	蕴含（推出） [math]\displaystyle{ \rightarrow }[/math] 、等价（当且仅当） [math]\displaystyle{ \leftrightarrow }[/math]
命题公式	语义	真值表、指派、解释、满足
	分类	重言式/永真式、偶然式/仅可满足式/可真可假式、矛盾式/永假式/不可满足式
	范式	析取范式、合取范式（主析取范式、主合取范式）
语义关系	等值	等值/等价 [math]\displaystyle{ = }[/math]/[math]\displaystyle{ \Leftrightarrow }[/math] 、置换
语义关系	重言蕴含	重言蕴含 [math]\displaystyle{ \Rightarrow }[/math]

@@ 第8行： / 第8行： @@
 |-
 ! [[真值]]
-| [[真|真<math>\mathrm{T}</math>/<math>1</math>/<math>\top</math>]]、[[假|假<math>\mathrm{F}</math>/<math>0</math>/<math>\bot</math>]]
+| [[真|真 <math>\mathrm{T}</math>/<math>1</math>/<math>\top</math>]] 、[[假|假 <math>\mathrm{F}</math>/<math>0</math>/<math>\bot</math>]]
 |-
 ! rowspan=2 | [[逻辑联结词]]
-| colspan=2 | [[否定|否定（非）<math>\lnot</math>]]、[[合取|合取（且/与）<math>\land</math>]]、[[析取|析取（或）<math>\lor</math>]]
+| colspan=2 | [[否定|否定（非） <math>\lnot</math>]] 、[[合取|合取（且/与） <math>\land</math>]] 、[[析取|析取（或） <math>\lor</math>]]
 |-
-| colspan=2 | [[蕴含|蕴含（推出）<math>\rightarrow</math>]]、[[等价（逻辑）|等价（当且仅当）<math>\leftrightarrow</math>]]
+| colspan=2 | [[蕴含|蕴含（推出） <math>\rightarrow</math>]] 、[[等价（逻辑）|等价（当且仅当） <math>\leftrightarrow</math>]]
 |-
 ! rowspan=3 | [[命题公式]]
@@ 第27行： / 第27行： @@
 ! rowspan=2 | 语义关系
 ! 等值
-| [[等值（逻辑）|等值/等价<math>=</math>/<math>\Leftrightarrow</math>]]、[[置换（逻辑）|置换]]
+| [[等值（逻辑）|等值/等价 <math>=</math>/<math>\Leftrightarrow</math>]] 、[[置换（逻辑）|置换]]
 |-
 ! 重言蕴含
-| [[重言蕴含|重言蕴含<math>\Rightarrow</math>]]
+| [[重言蕴含|重言蕴含 <math>\Rightarrow</math>]]
 |}