(9)--1.2 非、合取联结词离散数学离散数学.pptVIP

非、合取联结词

命题符号化就是用联结词将命题按逻辑关系连接起来，组成符合要求的逻辑表达式。常用的联结词有五个，先介绍两个联结词：否定联结词?合取联结词∧

设p为一个命题，则命题“非p”，用?p表示，称为p的否定。?p的逻辑关系为p不成立。1、否定联结词?例1-1p：雪是白色的。真值1??p：雪不是白色的。真值0例1-2p：老虎都是东北虎。真值0?p：老虎并不都是东北虎。真值1

p?p1001联结词“?”是自然语言中的表示否定的逻辑含义。如：“非”、“不”、“没有”、“…不成立”等。否定词真值表真假对换1、否定联结词?

例1-3将下列命题符号化（1）2不是偶数。（2）今天没有下雨。解：（1）设p：2是偶数，（2）设q：今天下雨，那么命题符号化为：?p。那么命题符号化为：?q。假设简单命题的时候，要用肯定的语气。1、否定联结词?设p为一个命题，则命题“非p”，用?p表示，称为p的否定。?p的逻辑关系为p不成立。

例2-1p：雪是白色的。?q：2是偶数。p?q：雪是白色