第1章命题逻辑 4.蕴涵“→” 设p、q是任意两个命题,复合命题“如果p,则q"称为p 与q的蕴涵式,记作:p→q。P称为蕴涵式的前件,q称为蕴 涵式的后件,→称为蕴涵联结词。p→q为假,当且仅当p为真 q为偎。 .pq的真值表如表14所示,它定义了一个二元真值函 数 :{00,01,10,11→0,1},表114 f(00)=1,f(01)=1, f(10)=0,f(11)=1 00 0 0第1章 命题逻辑 4.蕴涵“ → ” 设p、q是任意两个命题，复合命题“如果p，则q”称为p 与q的蕴涵式，记作：p→q。P称为蕴涵式的前件，q称为蕴 涵式的后件，→称为蕴涵联结词。p→q为假，当且仅当p为真、 q为假。 p→q的真值表如表1.1.4所示，它定义了一个二元真值函 数： f→ ：{00，01，10，11}→{0，1}， f→(00)=1， f→(01)=1， f→(10)=0， f→(11)=1 表 1.1.4 p q p → q 0 0 1 0 1 1 1 0 0 1 1 1