真值形式

真值形式( truth-value form) 指的是與複合命題相當的由真值聯結詞構成的形式結構。數理邏輯中經常用到的五種基本真值形式是：（1）否定式：﹁p。（2）析取式: p∨q。（3）合取式：p∧q。（4）蘊涵式：p→q。（5）等值式：p↔q。其中p、q代表命題，﹁、∨、∧、→、↔分別表示真值聯結詞：否定、析取、合取、蘊涵、等值。

數理邏輯中經常用到的五種基本真值形式是：（1）否定式：﹁p。（2）析取式: p∨q。（3）合取式：p∧q。（4）蘊涵式：p→q。（5）等值式：p↔q。其中p、q代表命題，﹁、∨、∧、→、↔分別表示真值聯結詞：否定、析取、合取、蘊涵、等值。