真值聯結詞

真值聯結詞(truth-value connective) 指的是表示複合命題與支命題之間的真假關係的聯結詞。在支命題之間除了真假關係以外，還有其他一些非邏輯方面的聯繫，如因果、次序以及意義方面的聯繫，所以一般在使用自然語言的情況下，支命題的真假不能完全決定複合命題的真假。由於數理邏輯只從真假關係方面來考察複合命題和支命題之間的關係，這樣抽象處理的結果而獲得的命題邏輯聯結詞即為真值聯結詞。

由於數理邏輯只從真假關係方面來考察複合命題和支命題之間的關係，這樣抽象處理的結果而獲得的命題邏輯聯結詞即為真值聯結詞。數理邏輯中經常用到的五個基本的真值聯結詞是：蘊涵(如果···那么···)，合取(並且···)，析取(···或···)，等值(···當且僅···)和否定(並非···)。它們分別用“→”，“∧”，“∨”，“↔”，“﹁”等符號表示。