第五章复合命题和其推理.ppt

;;;; ;;;;联结词并非并且或者要么如果那么只有才当且仅当 符 号 ? Λ V V → ← ? p q ?p pΛq pVq pVq p→q p←q p?q 1 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1;; p q p Λ q 1 1 1 1 0 0 0 1