- 9
- 0
- 约2.77千字
- 约 27页
- 2017-08-06 发布于浙江
- 举报
1.2 命题公式及其赋值
* * 第一章 命题逻辑基本概念 第1节 命题与联结词 第2节 命题公式及其赋值 一、命题公式的定义 二、公式的层次 第2节 命题公式及其赋值 三、公式的赋值 四、真值表 五、公式的真假值分类 一、命题公式的定义 命题可以表示为符号串,那么符号串是否都代表命题呢?显然不是,如“P ∨”,“PP→” (i) 命题常项(命题常元):简单命题(是真值唯一确定的命题逻辑中最基本的研究单位) 1 命题常项与命题变项 (ii) 命题变项(命题变元):真值可以变化的陈述句。 ① 也用p, q, r, … 表示命题变项. 当p,q,r,…表示命题变项时,它们就成了取值0或1的变项. ③ p, q, r, …既可以表示命题常项,也可以表示命题变项. 在使用中,需要由上下文确定它们表示的是常项还是变项. 注意: ② 因而命题变项已不是命题. 2 合式公式 将命题变项用联结词和圆括号按一定的逻辑关系连接起来的符号串称为 合式公式,也称为命题公式或命题形式式,并简称为公式. 当使用联结词集{┐,∧,∨,→, }中的联结词时,合式公式定义如下 (1)单个命题变项是合式公式,并称为原子命题公式. (2)若A是合式公式,则(┐A)也是合式公式. (3)若A,B是合式公式,则(A∧B),(A∨B),(A→B), (A ?B)也是合式公式. (4)只
您可能关注的文档
- 1-绪论2013.pdf
- 1.1 整数、约数与倍数 演示文稿.ppt
- 1-9连续函数的运算及初等函数的连续性.pdf
- 1.0函数与极限.ppt
- 1.1.3充分条件和必要条件.ppt
- 1.10-11 闭区间连续函数性质 习题课.pdf
- 1.18 映射名称到序列元素.pdf
- 1.10 闭区间上连续函数的性质(new).ppt
- 1.1人口2017.doc
- 1.1勾股定理(三)复备课.doc
- 安全生产管理员能力培训.pptx
- 咽异感症与心理健康促进.pptx
- 咽异感症与扁桃体炎的鉴别.pptx
- 咽异感症与抑郁症的关系.pptx
- 咽异感症与环境污染的关系.pptx
- 《生动的数据》课件-2025-2026学年沪教版(新教材)小学美术三年级下册.pptx
- 《校园微电影宣传策划》教学课件-2025-2026学年人美版(北京)(2024)初中美术七年级下册.pptx
- 《 春华秋实绘花鸟》教学课件-2025-2026学年人美版(北京)(2024)初中美术七年级下册.pptx
- 管理层安全培训策略.pptx
- 《把“大自然”穿在身上》教学课件-2025-2026学年人美版(北京)(2024)初中美术七年级下册.pptx
最近下载
- (高清版)-B-T 40340-2021 复合材料与金属组合件 碳纤维增强聚合物基复合材料胶接或紧固件连接结构人工环境下的电偶腐蚀试验 盐雾试验.pdf VIP
- 【浙商-2026研报】资产配置方法论系列二:宽松改进下的风险平价:从本土化到全球化.pdf VIP
- Siemens 西门子家电 杰净 (SpeedMatic) 系列 60 厘米宽洗碗机 不锈钢色 SN55E502TI 使用说明书_2.pdf
- RBT 107-2024 能源管理体系 公共建筑管理组织认证要求.pdf VIP
- 《肠道菌群》课件.ppt VIP
- 2023年复旦强基计划物理笔试试题.docx
- 刑事和解协议书正式版.docx VIP
- 2025年贵州省中考物理真题卷含答案解析.doc VIP
- 山东省泰安市新泰市(五四制)2026届九年级中考一模语文试卷(含答案).docx VIP
- 珠海市市直机关事业单位招聘职员考试真题2025.docx VIP
原创力文档

文档评论(0)