蕴含
定义 设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 | p→q |
0 | 0 | 1 |
0 | 1 | 1 |
1 | 0 | 0 |
1 | 1 | 1 |
DM@数理逻辑@命题和联结词@形式化命题
举报文章
请选择举报类型
补充说明
0/200
上传截图
格式支持JPEG/PNG/JPG,图片不超过1.9M