离散数学 速成

2023-12-13 04:04:29

文章目录

一、命题逻辑的基本概念

1. 命题

在这里插入图片描述
在这里插入图片描述

2. 命题联结词

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
公式为矛盾式
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

二、命题逻辑等值演算

1. 等值式

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

🌰子

在这里插入图片描述
在这里插入图片描述

2. 析取范式和合取范式

在这里插入图片描述

🌰子

在这里插入图片描述

3. 主析取范式和主合取范式

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

🌰子

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

4. 联结词的完备集

在这里插入图片描述

在这里插入图片描述

🌰子

在这里插入图片描述
在这里插入图片描述

三、命题逻辑的推理理论


在这里插入图片描述
在这里插入图片描述

🌰子

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述
在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

文章来源:https://blog.csdn.net/lt6666678/article/details/134953014
本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。