命题的连接词

                     

贡献者: int256

预备知识 命题

定义 1 否定

   对于一个命题 p¬p(或 p)表示其否定。例如 p 代表 “我喜欢踢足球”,则 ¬p 代表 “我喜欢踢足球”。

   下面给出一个命题的否定的真值表(即真值的对应关系的表格)。

表1:命题的否定的真值表
p ¬p
1 0
0 1

定义 2 合取

   对于命题 p 与命题 qpq 表示这两个命题的合取,表示要求同时成立。(pq) 为真当且仅当 pq 两者都为真。

定义 3 析取

   对于命题 p 与命题 qpq 表示这两个命题的析取,表示要求至少一者成立。(pq) 为真需 pq 中至少一者为真。

定义 4 蕴含

   对于两命题 pq,复合命题 “若 p,则 q” 称为 pq蕴涵式,记做 pqpq 为假当且仅当 p 为真时 q 为假。其中 p 称为条件而 q 称为结论。

定义 5 等价

   对于两命题 pqpq 表示这两个命题的等价,表示两个命题是等价的。

   下面给出以上二元(即两个命题间的)连接词的真值表。

表2:二元连接词的真值表
p q pq pq pq pq
0 0 0 0 1 1
0 1 0 1 1 0
1 0 0 1 0 0
1 1 1 1 1 1

定理 1 逆否命题

   对于两个命题 pq 的蕴含式 pq,与蕴含式的逆否命题 (¬q)(¬p) 等价。

定义 6 原子命题与复合命题

   定义不能再继续分解为更简单的命题的命题是原子命题(又称简单命题)。

   而可以分解为更简单的命题的命题,也就是用命题间的连接词(析取、合取等)连接(例如用 “或者” 或 “如果... 那么...” 连接)的命题称为复合命题

                     

© 小时科技 保留一切权利