命题联结词之蕴含

蕴含

定义 设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