离散数学---符号解释

已于 2022-10-23 14:29:36 修改
阅读量2.9k 收藏 5
点赞数
分类专栏： 离散数学 文章标签： 算法
于 2022-10-23 13:51:58 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_43440893/article/details/127474002
版权

→

比如，F(x)→Q(y)是什么意思？
单条件的意思。你可以读为“如果F(x)，那么Q(y)”。
当F(x)为假时，Q(y)不论真假，F(x)→Q(y)都为真。
当F(x)为真时，Q(y)为真，则F(x)→Q(y)为真。
当F(x)为真时，Q(y)为假，则F(x)→Q(y)为假。

←→

双条件（同等价于）,即(P∧Q)∨(┐P∧┐Q)）

┐ ∧ ∨

┐命题的 “非”运算

∧ 命题的 “合取 ”（“与”）运算

∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算

命题推法

除非才和只有才，后面推前面
只要就，只要才，只有仅当，前推后

在这里插入图片描述

强风吹拂str
关注
  • 0
    点赞
  • 踩
  • 5
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
专栏目录
期末复习-离散数学.rar
04-18
例1 下列句子中那些是命题？ (1) 是有理数. (假命题) (2) 2 + 5 = 7. ( 真命题) (3) x + 5 > 3. (不是命题) (4) 你去教室吗？(不是命题) (5) 这个苹果真大呀！(不是命题) (6) 请不要讲话！(不是命题) (7) 2050年元旦下大雪. (命题，但真值现在不知道) 命题分类：简单命题（也称原子命题）与复合命题 简单命题符号化
计算机系课程-离散数学课件
07-24
离散数学课程的课件，里面包含各种符号的定义，图论，笛卡尔乘积，闭包，关系等等，是计算机系大学重要的课程
离散数学 第一章 命题逻辑 1-2 联结词
weixin_33831196的博客
08-13 1271
在自然语言中，常常使用“或”，“与”，“但是”等一些联结词，对于这种联结词的使用，一般没有很严格的定义，因此有时显得不很确切。在数理逻辑中，复合命题是由原子命题与逻辑联结词组合而成，联结词是复合命题中的重要组成部分，为了便于书写和进行推演，必须对联结词作出明确规定并符号化。下面介绍各个联结词。(1)否定    定义1-2.1设p为一命题，p的否定是一个新的命题，记作┓p.若p为t, ┓p为f;若p...
常见离散数学符号
baopengjian的专栏
12-04 9512
常见符号 联结词： ¬ ∧ ∨ → ↔ ≠ Ø ∈ △ 希腊字母表 Α α 阿尔法 Alpha Β β 贝塔 Beta Γ γ 伽玛 Gamma Δbai δ 德尔塔 Delte Ε ε 艾普西龙 Epsilon Ζ ζ 捷塔 Zeta Ε η 依塔 Eta Θ θ 西塔 Theta Ι ι 艾欧塔 Iota Κ κ 喀帕 Kappa ∧ λ 拉姆达 Lambda Μ μ 缪 Mu Ν ν 拗 Nu Ξ ξ 克西 Xi Ο ο
离散数学：常用的数学符号
Zhengyangxinn的博客
01-12 5566
常用的数学符号
离散数学-简单理解版
ao_mike的博客
02-28 4621
我们通过做题 去渗透一个知识点 然后 引出有些东西 这题是用逻辑符号表示 命题 什么是逻辑符号呢？那么得先讲到命题这个概念。 我们可以看到疑问句，感叹句，以及语句的逻辑，判断结果有误的表达形式都不是命题。 复合命题 这里在提一下 原子命题 与 复合命题 的概念。 命题联结词 将命题连接起来的方式叫做命题联结词，主要有以下几种。 ...
离散数学知识点总结（5）：蕴含式；命题的推理理论；逻辑推演的方法；推理的有效性证明
qq_42902997的博客
09-02 1万+
文章目录前情回顾蕴含式 ⊨\models⊨ 或 ⇒\Rightarrow⇒蕴含式和等价式的关系（≡\equiv≡ 或 ⇔\Leftrightarrow⇔）证明蕴含式的方法逻辑推演的方法逻辑推演使用的 9 个基本蕴含式推理的有效性证明有效论证无效论证有效论证的 4 种判断方法例题： 前情回顾 p→qp \rightarrow qp→q 这叫做单条件蕴含，它的等价式为 ¬p∨q¬p \vee q¬p∨q (这是较小的层面，是 clause 层面的关系) 蕴含式 ⊨\models⊨ 或 ⇒\Rightarro
离散数学符号表Doc格式
07-24
离散数学符号表Doc格式，方便用户在word中编辑公式使用。
离散数学练习（附答案）.docx
最新发布
07-16
答案在最后 1. 11是（ ）的成假赋值. A. B. C. D....2. 10是（ ）的成真赋值. A. B....3.下列语句中是命题的有（ ）. ...6.设 ：x是人， :x爱吃零食，命题“没有不爱吃零食的人”符号化为（ ）. A. B. C. D.
离散数学练习答案
11-04
本书书末还提供了离散数学常用符号、中英文名词术语对照表、英中文名词术语对照表以及习题答案与提示，能很好地帮助读者理解和学习。 本书既可作为应用型本科和高职高专院校计算机科学各专业的教材，也可作为工程...
数学常用符号参考
topsogn的博客
04-19 1万+
数学常用符号
离散数学·集合论（1）
weixin_74802533的博客
03-30 1985
集合是什么：一组无序对象的集合集合里有什么：元素（即集合中的对象称为元素）集合的描述方法：枚举法，集合构建式符号特殊的集合：全集，空集（没有任何元素，符号为∅） <1.集合也可以成为集合的元素，譬如幂集 2.空集不等同于包含空集的集合，∅ ≠ { ∅ } >集合的相等：当且仅当两个集合具有相同的元素时它们相等 数学语言： 集合里有什么关系：1.集合与集合之间：子集⊆，真子集⊂
离散数学知识点总结（8）：一阶逻辑（谓词逻辑）中的换名规则和常用定理
qq_42902997的博客
09-26 1万+
文章目录换名规则常用定理量词否定等值式量词辖域的收缩与扩张等值式量词分配等值式无名等值式回到式子 (3)∗(3)*(3)∗总结一下 换名规则 为什么需要进行换名？举个例子 在下面的公式中： ∀xF(x)∨∃xG(x)\forall x F(x)\vee\exist x G(x)∀xF(x)∨∃xG(x)                 &nb
离散数学之一 命题逻辑
耶耶猫猫的博客
09-16 5906
目录一、命题及其表示方法1、命题的定义2、命题的3要素3、命题的真值4、命题标识符5、命题常元、命题变元6、原子命题、复合命题二、联结词1、否定词 “¬”2、合取“∧”3、析取“∨”4、条件 “→”5、双条件 “ ”5、小技巧三、命题公式与翻译1、命题公式2、翻译（符号化）四、真值表与等价公式1、真值表2、等价公式3、基本等价式五、重言式与蕴含式1、重言式和矛盾式2、蕴含式定义3、基本蕴含式4、蕴含的几个常用的性质六、其他联结词 一、命题及其表示方法 1、命题的定义 具有具体意义的又能判断真假的陈述句，称
离散数学期末复习—学习笔记
Half-up的博客
01-05 2万+
总结可以看这个： link 排斥或和相容或的区别和理解 =排斥或指的是左右两个命题不能同时成真，比如题目中的江西人或安徽人，很明显一个人不可能同时是江西人和安徽人（按一般情况，不要钻牛角尖），又比如一个人是男或女，这也是排斥或。 =而相容或则是左右两个命题允许同时成真，比如第一题的爱唱歌或爱听音乐，这很明显不是非我即你的关系，爱唱歌和爱听音乐是相容的。 设 p,q 均为命题，在--------条件下，p 与 q 的排斥或也可以写成 p 与 q 的相容或 p与q不能同时为真时,比如“今天是星期六或
离散数学丨常用符号意义及LaTeX代码（更新中）
yufanwenshu的博客
07-09 1802
离散数学常用符号的解释和LaTeX代码
离散数学笔记（期末复习用，持续更新…）
热门推荐
Until_U的博客
03-17 5万+
离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。 课程主要分四块： • 第一部分 数理逻辑（第1章：命题逻辑、谓词逻辑） • 第二部分 集合论（第2章：集合；第3章：二元关系；第4章：函数） • 第三部分 代数系统 （第5章:无限集合；第6章：代数； 第7章：格和布尔代数） • 第四部分 图 论 （第8章:图论） 一...
离散数学知识点总结（1）：什么是命题；什么是复合命题；真值表
qq_42902997的博客
08-31 8297
文章目录命题的判断命题的表示复合命题联结词的种类￢￢￢ 否定→→→ 单条件蕴含↔\leftrightarrow↔ 双条件蕴含∧\wedge∧ 合取公式∨\vee∨ 析取公式真值表￢￢￢ 否定→→→ 单条件蕴含↔\leftrightarrow↔ 双条件蕴含∧\wedge∧ 合取公式∨\vee∨ 析取公式 命题的判断 陈述句 能够唯一判定其真值 命题真值为真，则本命题是个真命题 命题真值为假，则本命题是个假命题 命题是命题逻辑中最小的不可再分的单元。 Note：命题的真值，可以理解为命题描述的这个意思~ E
《离散数学》学习笔记零之离散数学符号表总结
u013824975的专栏
06-17 5523
《离散数学》符号表 "         全称量词（任意量词）  $         存在量词 ├         断定符（公式在L中可证） ╞         满足符（公式在E上有效，公式在E上可满足） ┐         命题的“非”运算 ∧         命题的“合取”（“与”）运算 ∨         命题的“析取”（“或”，“可兼或”）运算 →         命题的“条
同学们都学习过《离散数学》这门课程，知道真值表是用于逻辑中的一类数学用表，用来计算逻辑表示式在每一个逻辑变量取值组合下的值。在这里我们给定一个逻辑表达式，要求生成对应的真值表。提示一下，数据结构教材中介绍了数学表达式的处理算法，可以将其改造以适用于我们的项目。 项目分为三个子项目，第一部分为词法分析，即将逻辑表达式分隔为多个词(token)。下面给出两个例子。 例一： 逻辑表达式p^q中有p、^和q共三个词; 例二： 逻辑表达式p^(q^r)中有p、^、（、q、^、r和）共七个词。 逻辑联结词有五个，见下表，这些符号和教材上的有所不同，主要是为了方便。 否定 合取 析取 蕴涵 等值 ! ^ || -> <-> 引入括号，规定基本逻辑联接词优先顺序从高到低依次是：( )、!、∧、||、->、<->。 同一优先级，从左到右顺序进行。
06-07
好的，根据您的问题，我理解您需要一个工具或程序来生成逻辑表达式的真值表。实现这个功能的一个常见方法是通过递归算法来计算每一个逻辑变量取值组合下的表达式的值。以下是一个示例 Python 代码，用于生成真值表： ```python # 定义逻辑联结词和优先级 operators = { '!': (lambda x: not x, 5), # 否定 '^': (lambda x, y: x and y, 4), # 合取 '||': (lambda x, y: x or y, 3), # 析取 '->': (lambda x, y: not x or y, 2), # 蕴涵 '<->': (lambda x, y: x == y, 1) # 等值 } # 定义递归函数 def evaluate(expression, variables): if len(expression) == 1: # 如果表达式只有一个变量 return variables[expression[0]] else: # 找到优先级最高的逻辑联结词 best_operator = None best_priority = -1 for operator in operators: if operator in expression and operators[operator][1] > best_priority: best_operator = operator best_priority = operators[operator][1] # 根据逻辑联结词进行递归计算 if best_operator == '!': return operators[best_operator][0](evaluate(expression[1:], variables)) else: i = expression.index(best_operator) left = evaluate(expression[:i], variables) right = evaluate(expression[i+1:], variables) return operators[best_operator][0](left, right) # 定义生成真值表的函数 def generate_truth_table(variables, expression): n = len(variables) for i in range(2**n): values = [(i >> j) & 1 for j in range(n)] # 生成当前取值组合 result = evaluate(expression, dict(zip(variables, values))) # 计算表达式的值 print(f"{values} -> {int(result)}") ``` 您可以将逻辑表达式和逻辑变量作为函数的输入，然后调用 generate_truth_table 函数来生成真值表。例如，对于逻辑表达式 "p^q"，您可以这样调用： ```python generate_truth_table(['p', 'q'], ['p', '^', 'q']) ``` 这将输出以下真值表： ``` [0, 0] -> 0 [0, 1] -> 0 [1, 0] -> 0 [1, 1] -> 1 ``` 希望这可以帮助您生成逻辑表达式的真值表。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值