真值形式

---

依据一定的规则，由真值联结词与真值变项结合而成的表达式。它是复合命题形式的抽象。数理逻辑中常用的五种基本真值形式是：⑴否定式：p。⑵合取式：pq。⑶析取式：pvq。⑷蕴涵式：p→q。⑸等值式：p←→q。其中，p和q为真值变项(以真假为变域的变项)，代表命题；、、v、→、←→、分别表示真值联结词：否定词、合取词、析取词、蕴涵词和等值词。