离散数学笔记20210223

学校决定网课三个星期，老师决定让我们自学…下面是一些笔记内容（主要是想简单练一下打字速度，因为今天玩了一个金山打字的游戏，感觉到了深深的挫败…）

集合论与课程论引言

• 用图来表示问题的解

过河问题：一个人带着一只狼、一只羊、一棵白菜要过河，小船以此只能容下一个人和一样动植物。人不在场的时候，狼要吃掉羊，羊要吃掉白菜。问应当如何渡河？
将狼设为W 羊设为G 白菜设为C 人设为M 由图可知只有两种不同的渡河方案。

学习要求

1. 掌握知识体系——基本概念、基本计算、基本证明方法
2. 强化能力的培养——获取知识的能力即读书，分析问题解决问题的能力即解题，理论联系实际的能力即联系其他课程或研究课题。

命题逻辑

一、命题公式

1. 联结词：pqr表示原子命题或简单命题，逻辑变量、布尔变量，1代表真，0代表假。 否定联结词、否定式；合取联结词、合取式；除此之外还有析取（并联）、蕴涵式（若P则Q 形式逻辑，可以理解为小于等于号） 注意一下运算的优先级。

2. 真值表