常用的6种逻辑联结词
联结词是逻辑联结词或者命题联结词的简称,它是自然语言中连词的逻辑抽象。有了联结词,就可以通过它和原子命题构成复合命题。常用的逻辑联结词主要包括以下6种。
(1)联结词“非”,记为“┓P ”,表示“否定”的意思。
(2)联结词“合取”,记为“∧”,表示“且”的意思。
(3)联结词“析取”,记为“∨”,表示“或”的意思。
(4)联结词“蕴涵”,记为“→”,表示“如果…,则…”的意思。
(5)联结词“等价”,记为“↔”,表示“当且仅当”的意思。
(6)联结词“异或”,记为“∇”,表示“要么…,要么…”的意思。