真值形式：什么意思、判定定义
真值形式是指由真值联结词（命题联结词）和命题变项所构成的形式结构，也就是各种复合命题的命题形式。
所谓命题形式，其外延定义是：
（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
