离散数学之学习笔记

第1部分 数量逻辑

第1章 命题逻辑的基本概念

学习难点:

  • 理解悖论的概念。

1.1 命题与联结词

1.1.1 命题的概念

非真即假的陈述句称为命题。

作为命题的陈述句所表达的判断结果称作命题的真值 ,真值的取值只有两个:真 或假。

真值为真的命题称为真命题。真值为假的命题称为假命题。

不能被分解成更简单的命题称为简单命题 或原子命题 。由简单命题通过联结词联结而成的命题,称为复合命题。

判断命题的步骤:(1)判断它是否为陈述句;(2)判断它是否有唯一的真值。

可以用字母p,q,r,s表示命题。

1.1.2 悖论

由真能推出假、又由假能推出真,从而既不能为真,也不能为假的陈述句称作悖论。

1.1.3 五个定义

定义1.1 设p为命题

1.2命题公式其赋值

第2章 命题逻辑等值演算

第3章 命题逻辑的推理理论

第4章 一阶逻辑基本概念

第5章 一阶逻辑等值演算与推理

第2部分 集合论

第3部分 代数结构

第4部分 组合数学

第5部分 图论

第6部分 初等数论

相关推荐
JWASX26 分钟前
Java 转 go 学习 - Redis(1)
学习·golang
JWASX28 分钟前
Java 转 go 学习 - Redis(2)
学习·golang
做cv的小昊1 小时前
【大模型算法自学笔记01】NLP基础知识(1.1 自注意力)
人工智能·笔记·算法·自然语言处理·大模型·llm
Misnearch1 小时前
agent架构学习
学习·架构
li星野1 小时前
【学习记录】USB连接与枚举全解析:从D+/D-上拉到pyOCD烧录
学习
我命由我123451 小时前
Photoshop - Photoshop 使用魔棒工具选择单独的区域
学习·ui·职场和发展·求职招聘·职场发展·学习方法·photoshop
JWASX1 小时前
Java 转 go 学习 - kitex(1)
学习·golang
深圳老胡2 小时前
STM32 在 VSCode 下 -O0 与 -Os 编译条件的区别
笔记·stm32·单片机·代码规范
li星野2 小时前
HAVE — have / has / had (One-Page Notes)
学习
传奇开心果编程2 小时前
【声明式UI开发实用技术学与练】第8课 状态提升与下放
学习·flutter·react native·ui·swiftui·composer