点击下载:北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.2)命题和联结词
正在加载图片...
否定联结词 ■定义1:设p为一个命题,复合命题“非p 称为p的否定式,记为_p,“”称为否定 联结词.“-p”为真当且仅当p为假。 n例3中,若p代表“期中考试张三考及格了”, 则(1)可表示为-p否定联结词 定义1:设p为一个命题, 复合命题“非p” 称为p的否定式,记为¬p, “¬”称为否定 联结词.“¬p”为真当且仅当p为假。 例3中, 若p代表“期中考试张三考及格了”, 则(1)可表示为¬p. 1 0 0 1 P ¬p
<<向上翻页
向下翻页>>
点击下载:北京大学:《离散数学》系列课程之三:《数理逻辑》第26章 命题逻辑(26.2)命题和联结词
©2008-现在 cucdc.com 高等教育资讯网 版权所有