逻辑学中的命题联接词都有哪些?

问题描述:

逻辑学中的命题联接词都有哪些?

(1)否定 ¬
真值表:
p ¬ p
T F
F T
(2)合取 ∧
p q p∧q
T T T
T F F
F T F
F F F
(3)析取 ∨
p q p∨q
T T T
T F T
F T T
F F F
(4)不相容析取:(代用符号,标准写法为:∨的中上部加• )
p q pq
T T F
T F T
F T T
F F F
(pq)与((p∨q)∧(¬(p∧q)))真值相同
(5)蕴涵 →
p q p→q
T T T
T F F
F T T
F F T
(6)反蕴涵 ←
p q p←q
T T T
T F T
F T F
F F T
(7)等值 ↔
p q p↔q
T T T
T F F
F T F
F F T