【数学逻辑】命题逻辑 2021/9/22第一节数学lecture

最新推荐文章于 2023-06-16 20:47:37 发布
最新推荐文章于 2023-06-16 20:47:37 发布
阅读量1.4k 收藏 6
点赞数 8
分类专栏： 数学逻辑 文章标签： 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_52053662/article/details/120421844
版权

这是第一节算法数学课的内容复盘，这第一节课乍一听可能会比较迷糊，但理清后会发现只有五大逻辑算子和32个逻辑等价定律以及逆否命题，这里推荐一起学习的家人们尽量去记这些逻辑的中文名，可能更方便理解。这篇笔记会用非常浅显的语言去解释这些逻辑的关系，方便大家在理解的基础上记忆，废话不多说，开始。

1. Logical Operators (逻辑算子）
这节课一共讲了5种逻辑算子 （Negation, Conjunction, Disjunction, Implication, Exlusive Or），但只有四种比较常用 (排除 Exlusive Or)，只有一种比较难懂 (Implication).

  1. Negation 非
    对的非就是错，错的非就是对
    Turth Table真值表

  2. Conjunction 与
    直接理解为集合里的交
    在这里插入图片描述

  3. Disjunction 析取
    就是“或”，理解为集合里的并
    在这里插入图片描述

  4. Implication 蕴含
    这个是四种逻辑算子中最难理解的，其中我认为只需要记住当 p 是

最低0.47元/天 解锁文章
Yanshu江
关注
  • 8
    点赞
  • 踩
  • 6
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
专栏目录
lecture-5.rar_https://lecture.xue
07-14
【标题】"Lecture 5: MATLAB编程基础与实践" 【描述】本资源是大学课程中的第五讲，主要探讨MATLAB编程的相关知识，包括代码示例和基础概念。通过学习，学生将能够掌握MATLAB的基本语法，理解并运用在实际问题解决...
【离散数学】第一章 笔记（完）
karshey的博客
03-04 8432
很零碎。 第一章 命题逻辑 命题 能够判断真假的陈述句称作命题。 能够判断真假 陈述句 一个命题的“结果”，称为真值。 （真值只是一个名字，与真假无关） 例： X>Y 不是命题，因为无法判断真假。 明天会下雨 是命题，可以判断真假。 命题变元不是命题。 命题变元：命题标识符如仅是表示任意命题的位置标识，就称为命题变元。 它是位置标识，不是能判真假的陈述句。 原子变元：当命题变元表示原子命题时，该变元称为原子变元。 命题连接词 命题连接词： 逻辑否定词“┐”是一个一元运算, 它的意义是“
离散数学实验（一）命题与逻辑
qq_57173265的博客
06-01 4570
#define _CRT_SECURE_NO_WARNINGS #include <stdio.h> #include <iostream> using namespace std; int hequ(int a, int b) { if (a == 1 && b == 1) return 1; else return 0; } int dtj(int a, int b) { if (a == 1 &am...
数理逻辑
cai_4的博客
03-22 8792
数理逻辑 数理逻辑 ——是研究演绎推理的一门学科，用数学的方法来研究推理的规律统称为数理逻辑。 主要研究内容： 命题逻辑 命题的基本概念 命题联结词 命题公式 命题的范式 命题逻辑推理理论 谓词逻辑 谓词的基本概念 谓词公式 公式的标准型 谓词逻辑推理理论 第一章 命题逻辑 命题逻辑也称命题演算。 研究内容： 命题的基本概念 命题联结词 命题公式 命题的范式 命题逻辑推理理论 1.1 命题及其表示 一、命题 命题：能判断真假的陈述句。 该定义有两层含义： （1）命题是陈述句。其它的语句，如疑问句、祈使句、
离散数学——命题逻辑
chicken3wings的博客
09-11 2469
命题：具有真假意义的陈述句 原子命题：不能再分解的命题 命题的真值：T/F 或 1/0 注：“自指谓”的陈述句不算命题，因为其往往真假矛盾 命题标识符 原子命题一般用大写字母或带下标的大写字母表示，该符号称为命题符 联结词 原子命题可以通过联结词构成复合命题，联结词有5种 否定联结词﹁，读作“非”，也记作 “ ’ ” 合取联结词∧，读作“与” 析取联结词∨，读作“或” 条件联结词→，读作“如果…则...
命题逻辑之条件语句(蕴含）
m0_37751465的博客
06-02 9370
条件命题p-&gt;q的真值表pqp-&gt;qTTTTFFFTTFFTp-&gt;q的常用术语：        "如果q，则q"                      "p蕴含q"        "如果p, q"                           "q仅当p"        "p是q的充分条件"                "q的充分条件是p&amp
【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 9
02-19
这是 Mathematics for Computer Science, MIT 6.042J - Fall 2010 - Lecture 9 (Communication Networks) 的笔记 PDF 版（Teddy van Jerry 整理），文件中有网课的地址链接。
【离散数学】MIT 6.042J - Fall 2010 - Note for Lecture 4
02-03
这是 Mathematics for Computer Science, MIT 6.042J - Fall 2010 - Lecture 4 (Number Theory I) 的笔记 PDF 版（Teddy van Jerry 整理），文件中有网课的地址链接。
模式识别c均值算法matlab代码-Matrix_Lecture:高等工程数学/AdvancedEngineeringMathematics
05-19
Matrix_Lecture 高等工程数学/Advanced Engineering Mathematics 2021-01-21更新： 初步统计结果： 期末考卷的平均分70.83, 标准差11.27； 平时成绩的平均分39.00, 标准差1.00； 总分平均分81.53, 标准差6.98。 总...
Lecture3.zip_Windows编程_C/C++_
08-12
【标题】"Lecture3.zip" 是一个关于Windows编程，特别是针对C/C++语言初学者的教程资料包。这个压缩文件包含了一系列不同分辨率的HTML页面和一个名为 "Files" 的目录，很可能包含了教学资料和练习代码。 【描述】"C...
离散数学1-数理逻辑的基本概念
热门推荐
swadian2008的博客
12-02 1万+
目录 一、数理逻辑的基本概念 1、命题 2、原子命题和复合命题 二、联结词 1、如何把命题变成“算式”？ 2、联结词 （1）否定词(negation)“并非”(not)：¬ （2）合取词(conjunction)“并且”(and)： ∧ （3）析取词（disjunction）”或”（or）：∨ （4）蕴涵词（implication）”如果…那么…”（if…then…）： → （5）双向蕴含词（two-way implication）”当且仅当”（if and onlyif）：↔ 三.
离散数学题目收集整理练习（期末过关进度50%）
最新发布
VLOKL的博客
06-16 941
离散数学题目收集整理练习（期末过关进度50%）
2.3 逻辑代数的基本公式和常用公式
tang7mj的博客
06-12 1170
1. 学习基本概念：首先，了解逻辑代数的基本概念和术语，如命题、逻辑运算符（与、或、非等）、真值表等。确保你对这些基本概念有清晰的理解。2. 学习基本公式：研究逻辑代数的基本公式，如否定律、交换律、结合律、分配律和吸收律等。理解这些公式的含义和应用场景，以及它们在逻辑推理和表达式简化中的作用。3. 练习推导证明：通过练习推导和证明基本公式，加深对其逻辑性和正确性的理解。
离散数学——命题与逻辑
jiahonghao2002的博客
01-06 3447
离散数学——命题与逻辑 命题逻辑 命题逻辑是关于数学表达方面的研究。 命题 命题 是具有声明陈述性的语句（也就是说，陈述一个事实），并且不是真的就是假的。 命题变量 是一个表示命题的变量，就像代数中表示数字的变量一样。 命题变量通常使用 p,q,r,s,…p,q,r,s,\ldotsp,q,r,s,… 等字母表示。如果一个命题是真的那么它具有 真值 记为 T ，否则具有 假值 记为 F 。 研究这类关于命题的问题的领域称为 命题演算 或者 命题逻辑 。 复合命题 是将已经存在的命题通过 逻辑操作符 连接起来
离散数学知识点总结（1）：什么是命题；什么是复合命题；真值表
qq_42902997的博客
08-31 8945
文章目录命题的判断命题的表示复合命题联结词的种类￢￢￢ 否定→→→ 单条件蕴含↔\leftrightarrow↔ 双条件蕴含∧\wedge∧ 合取公式∨\vee∨ 析取公式真值表￢￢￢ 否定→→→ 单条件蕴含↔\leftrightarrow↔ 双条件蕴含∧\wedge∧ 合取公式∨\vee∨ 析取公式 命题的判断 陈述句 能够唯一判定其真值 命题真值为真，则本命题是个真命题 命题真值为假，则本命题是个假命题 命题是命题逻辑中最小的不可再分的单元。 Note：命题的真值，可以理解为命题描述的这个意思~ E
离散数学
RichXan的博客
09-12 2250
命题：具有真值的陈述句。 真值：真或者假 命题分类：1.原子命题：不可再拆分 2.复合命题：由原子命题，标点符号，联结词构成的 联结词：常用"或"“如果…就…” 否定(乛) 合取/且(∧) 析取(∨) 双箭头(同时为真或同时为假的时候真值才为真) ...
离散数学Day01
weixin_53190247的博客
04-10 4901
Class 1 命题公式 联结词 p,q,r,…（等小写字母）表示原子命题或简单命题，可以当做逻辑变量，1表示命题为真，0表示命题为假 否定联结词，—p称为p的否定式，代码里的！p 称为合取联结词（与，并且），pq称为p与q的合取式，其中每个命题的取值可以用二进制表示构造真值表 ，竖着构建，可见视频的方法，对应串联。 析取联结词（或），符号是上面的倒置，p q称为析取式，可理解为电路里的并联。 ->称为蕴涵联结词，p->q称为p与q的蕴涵式，对应的数学命题如果p则q，定义：若为假则为假，这个结
图论 2-SAT
Authur_gyc
02-03 1695
个人感受 学习2-SAT最好先掌握一些离散数学方面的知识。 概念 给定一个布尔方程，判断是否存在一组布尔变量的真值指派使整个方程都为真的问题称为布尔方程的可满足性问题（SAT）。 SAT问题是NP完全的，但对于满足一定限制条件的SAT问题，还是能够有效求解的。 内容 我们看到一个合取范式（a∨b∨……）∧（c∨d∨……）∧…… 如果每个子句中的文字都不超过两个，那么对应的SAT问题又称为2-SAT...
离散数学——第一章 数理逻辑
SongyangJi
04-16 4505
文章目录第一章 逻辑与证明1.1.前言1.1.1.本章概述1.2.命题逻辑(Propositional Logic)1.2.1.命题及其表示法 第一章 逻辑与证明 1.1.前言 1.1.1.本章概述 1.2.命题逻辑(Propositional Logic) 1.2.1.命题及其表示法 具有确定真值的陈述句叫做命题(Proposition)。 命题有两种类型：不能分解为更简单的陈述语句的称为原子命...
信息安全数学基础M1.pptx
03-16
信息安全数学基础 第一章课件

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值