命题的连接词
贡献者: int256
定义 1 否定
对于一个命题 ,(或 )表示其否定。例如 代表 “我喜欢踢足球”,则 代表 “我不喜欢踢足球”。
下面给出一个命题的否定的真值表(即真值的对应关系的表格)。
表1:命题的否定的真值表
定义 2 合取
对于命题 与命题 , 表示这两个命题的合取,表示要求同时成立。 为真当且仅当 与 两者都为真。
定义 3 析取
对于命题 与命题 , 表示这两个命题的析取,表示要求至少一者成立。 为真需 与 中至少一者为真。
定义 4 蕴含
对于两命题 与 ,复合命题 “若 ,则 ” 称为 对 的蕴涵式,记做 。 为假当且仅当 为真时 为假。其中 称为条件而 称为结论。
定义 5 等价
对于两命题 与 , 表示这两个命题的等价,表示两个命题是等价的。
下面给出以上二元(即两个命题间的)连接词的真值表。
表2:二元连接词的真值表
定理 1 逆否命题
对于两个命题 的蕴含式 ,与蕴含式的逆否命题 等价。
定义 6 原子命题与复合命题
定义不能再继续分解为更简单的命题的命题是原子命题(又称简单命题)。
而可以分解为更简单的命题的命题,也就是用命题间的连接词(析取、合取等)连接(例如用 “或者” 或 “如果... 那么...” 连接)的命题称为复合命题。