第1章命题逻辑 3析取“∨” 设p、q是任意两个命题,复合命题“p或q"称为p、 q的析取式,记作:p∨q。“∨”称为析取联结词 pVq为假,当且仅当、q同为假。 p∨q的真值表如表1.13所示,它定义了一个二元 真值函数: f:{00,01,10,11→{0,1},表11.3 f(00)=0,f(01)=1, f(10)=1,y(11)=1 00 0 0第1章 命题逻辑 3.析取“∨” 设p、q是任意两个命题，复合命题“ p或q”称为p、 q的析取式，记作：p∨q。 “∨”称为析取联结词。 p∨q为假，当且仅当p、q同为假。 p∨q的真值表如表1.1.3所示，它定义了一个二元 真值函数： f∨：{00，01，10，11}→{0，1}， f∨(00)=0， f∨(01)=1， f∨(10)=1， f∨(11)=1 表 1.1.3 p q p ∨ q 0 0 0 0 1 1 1 0 1 1 1 1