离散数学实验报告2——逻辑联结词的运算.docx

1、设P是一个命题,命题“P是不对的”称为P的否定。记以¬P,读作非P。¬P是真的当且仅当P是假的。 例如:P:上海是一个城市。¬P:上海不是一个城市。例如:P:上海是一个城市。¬P:上海不是一个城市。 2、设P,Q是两个命题,命题“P或者Q”称为P,Q的析取,记以P∨Q,读作P或Q。规定P∨Q是真的当且仅当P,Q中至少有一个是真的。