- 28
- 0
- 约4.26千字
- 约 80页
- 2022-06-26 发布于江西
- 举报
2021/10/10;项目9 二元关系与数理逻辑;1)命题的概念 ; ① 判断一个语句是否为命题,首先看其是否为陈述句,再看其真值是否唯一.命题是具有唯一真值的陈述句.; ③“能判断真假”并不同于“已知真假”.例如,“别的星球上有生物.”虽然目前无法确定真假,但随着科技的发展总有一天能确定真假.这句话是命题.
;6;2)命题联结词; 由简单命题与联结词按一定规则复合而成的命题,称为复合命题.
在命题逻辑中,复合命题可以由原子命题通过“联结词”构成.常用的联结词有
五种.
;定义2 设为命题,复合命题“非P ”称作P 的否定式,记作“? P”,读作“非P ”. 符号“?”称作否定联结词,并规定
; “ ? ”代表的运算是一元运算(即只有一个运算对象),常称为“非”运算,所有可能的运算结果进行汇总,如表9.2(真值表)所示.;(2)合取联结词“ ? ”
; “∧”代表的运算是二元运算(即有两个运算对象),常称为“与”运算,所有可能的运算结果的真值表如表9.3所示.
;表9.3; 注 在自然语言中无关联的两命题的“与”是无意义的,但在数理逻辑中是一个新的命题,有逻辑值.
例如,用P表示命题“今天是星期五”,Q表示命题
“今天下雨”, 则命题 是“今天是星期五,而且今天下雨.” 如果是星期五,又下雨,则该命题为真;
您可能关注的文档
最近下载
- 合规红线与避坑实操手册(2026)《YST 3015.1-2013载金炭化学分析方法 第1部分:水分含量的测定 干燥重量法》.pptx VIP
- JJF 2377-2026 钻井液密度计校准规范.pdf VIP
- 佳能相机IXUS210(PC1467)说明书.pdf VIP
- 宣贯培训(2026)《YST 3015.1-2013载金炭化学分析方法 第1部分:水分含量的测定 干燥重量法》.pptx VIP
- EATON-伊顿平衡阀样本-CN.pdf VIP
- 2026年新版27种生产安全事故应急处置卡(依据GB6441-2025最新编制).docx
- 儿科学(第10版)儿童心肺复苏.pptx VIP
- 《游泳赛事活动水下视频助理裁判通用技术要求》(征求意见稿)标准文本.pdf.docx VIP
- 高中物理弹簧问题专题.doc VIP
- (小升初分班考)2025年河南省信阳市商城县六年级下学期数学试卷【含答案】.pdf VIP
原创力文档

文档评论(0)