真值形式：什么意思、判定定义

真值形式：什么意思、判定定义

真值形式是指由真值联结词（命题联结词）和命题变项所构成的形式结构，也就是各种复合命题的命题形式。

所谓命题形式，其外延定义是：

（1）任何命题变项p，q，r……是命题形式，且┐p，p∧q，p∨q，p→q，p↔q是命题形式。

（2）如果A和B是命题形式，那么┐A，（A∧B），（A∨B），（A→B），（A↔B）也是命题形式。

根据上述定义可知：p，p∧（q→p），┐┐p，（┐p∨┐q）→（p→q）等都是真值形式；而p→，→→q等由于不符合规定，所以不是真值形式。

在命题逻辑中，基本的真值形式有五种：

否定式：┐p

合取式；p∧q

析取式：p∨q

蕴涵式：p→q

等值式：p↔q