2021年8月8日
公式的赋值与分类
摘要： 设A为一个命题公式， （1）若A在它的所有可能赋值下取值均为真，则称A为重言式或永真式 （2）若A在它的所有可能赋值下取值均为假，则称A为矛盾式或永假式 （3）若A至少存在一个赋值是成真赋值，则称A为可满足式 阅读全文
posted @ 2021-08-08 20:01 杜嘟嘟 阅读(455) 评论(0) 推荐(0)
命题联结词之等价
摘要： 等价 定义 设p，q都是命题，复合命题“p当且仅当q”称作p与q的等价式，记作p↔q ，称符号↔为等价联结词。并规定，p↔q为真当且仅当p，q同真假 等价真值表 p q p↔q 0 0 1 0 1 0 1 0 0 1 1 1 阅读全文
posted @ 2021-08-08 19:52 杜嘟嘟 阅读(1961) 评论(0) 推荐(0)
命题联结词之蕴含
摘要： 蕴含 定义 设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 阅读全文
posted @ 2021-08-08 18:51 杜嘟嘟 阅读(2036) 评论(0) 推荐(0)
命题联结词之析取
摘要： 析取 定义 设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 阅读全文
posted @ 2021-08-08 18:33 杜嘟嘟 阅读(1633) 评论(0) 推荐(0)
命题联结词之合取
摘要： 合取 定义 设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 阅读全文
posted @ 2021-08-08 17:45 杜嘟嘟 阅读(1497) 评论(0) 推荐(0)
命题联结词之否定
摘要： 1.否定 定义1-1 设p是命题，“非p”称为p的否定式，记作¬p，称符号为¬为否定联结词。并规定，¬p为真当且仅当p为假 否定联结词的真值表 p ¬p 0 1 1 0 阅读全文
posted @ 2021-08-08 17:32 杜嘟嘟 阅读(2018) 评论(0) 推荐(0)