摘要:
蕴含 定义 设p,q都是命题,复合命题“如果p,那么q”称为p与q的蕴含式,记作p→q, 其中p称为前件,q称为其后件,称符号→为蕴含联结词。 并规定,p→q为假当且仅当p为真且q为假。 蕴含真值表 p q p→q 0 0 1 0 1 1 1 0 0 1 1 1 阅读全文
摘要:
析取 定义 设p,q都是命题,复合命题“p或者q”称为p与q的析取式,记作 p∨q,称符号∨为合取联结词。 并规定,p∨q为真当且仅当p与q中至少有一个为真。 析取真值表 p q p∨q 0 0 0 0 1 1 1 0 1 1 1 1 阅读全文
摘要:
合取 定义 设p,q都是命题,复合命题“p并且q”称为p与q的合取式,记作 p∧q,称符号∧为合取联结词。 并规定,p∧q为真当且仅当p与q同时为真。 合取真值表 p q p∧q 0 0 0 0 1 0 1 0 0 1 1 1 阅读全文
摘要:
1.否定 定义1-1 设p是命题,“非p”称为p的否定式,记作¬p,称符号为¬为否定联结词。并规定,¬p为真当且仅当p为假 否定联结词的真值表 p ¬p 0 1 1 0 阅读全文