- 6
- 0
- 约5.98千字
- 约 44页
- 2020-11-10 发布于四川
- 举报
*/49 反复使用{?, ?, ?, ?, ?}中的联结词可以组成更为复杂的复合命题,此外还可以使用圆括弧 ( 和 ), ( 和 )必须成对出现。 求解复杂的复合命题的真值时(可视为运算),因此要规定联结词的优先顺序。联结词的运算顺序:( ), ?, ?, ?, ?, ?, 同级按从左到右顺序进行。 设 p: 是无理数,q: 3是奇数, r: 苹果是方的, s: 太阳绕地球转。 则复合命题 (p?q) ? ((r??s) ??p) 是假命题。 小 结 */49 1.2 命题公式及其赋值 命题变项与合式公式 命题变项 合式公式 合式公式的层次 公式的赋值 公式赋值 公式类型 真值表 */49 命题变项与合式公式 命题常项(命题常元):简单命题(相当于常数或常量) 命题变项(命题变元):取值1(真)或0 (假)的变元 (相当 于变量) 命题变项不是命题 常项与变项均用 p, q, r, …, pi, qi, ri, …, 等表示。 将命题变项用联结词和圆括弧按一定的逻辑关系联结起来的符号串称为合式公式。 当使用联结词集{?, ?, ?, ?, ?}时,合式公式定义如下: */49 命题变项与合式公式 定义6 合式公
您可能关注的文档
- python程序设计与分析第2章--教案.pptx
- python程序设计与分析第1章--教案.pptx
- 形式语言与自动机理论课件 考试.ppt
- 形式语言与自动机理论课件 第一章---绪论.ppt
- 形式语言与自动机理论课件 第五章---泵引理.ppt
- 形式语言与自动机理论课件 第三章---有穷自动机.ppt
- 形式语言与自动机理论课件 第七章----下推自动机.ppt
- 形式语言与自动机理论课件 第六章---上下文无关文法.ppt
- 形式语言与自动机理论课件 第二章---文法.ppt
- 系统分析与设计课件 需求分析.ppt
- 大森控股集团有限公司2024/25 环境、社会及管治报告.pdf
- 金宝通集团有限公司2024/2025 环境、社会及管治报告.pdf
- 能源及能量环球控股有限公司二零二五年环境、社会及管治报告.pdf
- 宁波港:2024年度环境、社会和公司治理(ESG)报告(英文版).pdf
- 0085_互太纺织控股有限公司2024_2025年环境、社会及管治报告.pdf
- 0081_华盛国际控股有限公司环境、社会及管治报告2024_2025.pdf
- 0093_亚伦国际集团有限公司环境、社会及管治报告_2024_2025.pdf
- 善裕集团控股有限公司环境、社会及管治报告 2025.pdf
- 2021年医疗制度汇编修改稿2.24.doc
- ST逸飞:逸飞激光2024年度环境、社会和公司治理(ESG)报告(英文版).pdf
最近下载
- 新建安庆至九江铁路环评简本.pdf VIP
- 航空航天器制造业安全管理与风险控制.pptx VIP
- 2026年超声医学心血管超声诊断考试真题.docx VIP
- 零基础学MQL4编程.pdf VIP
- ISO27001-2013最新版信息安全内部审核全套通用资料(内部审核计划+检查表+内审报告全套).pdf VIP
- 人教版四年级数学上册第1单元测试题(深度完整版).docx VIP
- 昆明理工大学冶金物理化学2024-2025年考研真题试卷及答案.docx VIP
- nts-240gs系列三相导轨式预付费电能表v11安装配置手册.pdf VIP
- 小学三年级上册写字表字帖(可打印).pdf VIP
- 14J914-2 住宅卫生间 彩色版.pdf VIP
原创力文档

文档评论(0)