离散数学 速成

文章目录

  • 一、命题逻辑的基本概念
    • 1. 命题
    • 2. 命题联结词
  • 二、命题逻辑等值演算
    • 1. 等值式
      • 🌰子
    • 2. 析取范式和合取范式
      • 🌰子
    • 3. 主析取范式和主合取范式
      • 🌰子
    • 4. 联结词的完备集
      • 🌰子
  • 三、命题逻辑的推理理论
      • 🌰子

一、命题逻辑的基本概念

1. 命题

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

2. 命题联结词

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

二、命题逻辑等值演算

1. 等值式

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

🌰子

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

2. 析取范式和合取范式

在这里插入图片描述

🌰子

在这里插入图片描述

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

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

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

🌰子

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

在这里插入图片描述

4. 联结词的完备集

在这里插入图片描述

在这里插入图片描述

🌰子

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

三、命题逻辑的推理理论


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

🌰子

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

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

在这里插入图片描述

在这里插入图片描述

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/news/216976.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

Java - Math类的常用方法及练习

Java - Math类的常用方法及练习

目录 1.1 概述 1.2 常用方法 ❓面试题：为啥Math.round(-1.5)-1? 1.1 概述 java.lang.Math 类包含用于执行基本数学运算的方法，如初等指数、对数、平方根和三角函数。类似这样的工具类，其所有方法均为静态方法，并且不会创建对象…
阅读更多...
优雅玩转实验室服务器（三）vscode is all you need

优雅玩转实验室服务器（三）vscode is all you need

在前两章解决了传输问题和连接问题后，我们紧接着遇到一个新的需求：我们需要coding呀，你当然可以说，我们可以用vim和对应的插件来搭建一个IDE呀，fine，我甚至可以给你推荐如下的教程： Vim 到底可…
阅读更多...
oracle详细安装教程（附带百度网盘资源）

oracle详细安装教程（附带百度网盘资源）

一,下载安装包途径 1.官网 Unauthorized Request 2.百度网盘分析 https://pan.baidu.com/s/1n221gdTK0Fcho839oRab9g 提取码1q2w 二，安装教程 1.下载完安装包后点击 setup.exe 如果出现一下的问题，使用windows10等系统安装oracle 11g等版本的数据库…
阅读更多...
实验7：索引和视图定义

实验7：索引和视图定义

【实验目的】 1、了解索引和视图的含义 2、熟悉索引和视图的创建规则 3、掌握索引和视图的创建和管理 【实验设备及器材】 1、硬件：PC机； 2、软件：(1)Windows7; (2)Microsoft SQL Server 2012。 【主要内容】 索引的创建、删除、重建…
阅读更多...
【acwing】92. 递归实现指数型枚举

【acwing】92. 递归实现指数型枚举

穿越隧道 递归枚举、位运算 方法① 从1到n&#xff0c;顺序访问每位数&#xff0c;是否选择&#xff0c;每位数有两种状态&#xff0c;选1或不选0. AC代码如下&#xff1a; #include <iostream> using namespace std;const int N 100; // bool st[N]; int n;void dfs(in…
阅读更多...
【Oracle】backup备份时报错ORA-19809，ORA-9804

【Oracle】backup备份时报错ORA-19809，ORA-9804

Oracle备份数据库时报错 ORA-19809: limit exceeded for recovery files ORA-19804: cannot reclaim 10305536 bytes disk space from 4385144832 limit 1.清理过时的备份&#xff1a; 使用RMAN删除不再需要的过时备份&#xff0c;以释放空间。执行以下命令&#xff1a; DEL…
阅读更多...
Hadoop高可用(主备切换)---配合Zookeeper

Hadoop高可用(主备切换)---配合Zookeeper

1. Hadoop高可用(Hadoop High Availability)概述 HA(High Available), 高可用&#xff0c;是保证业务连续性的有效解决方案&#xff0c;一般有两个或两个以上的节点&#xff0c;分为活动节点&#xff08;Active&#xff09;及备用节点&#xff08;Standby&#xff09;。通常把…
阅读更多...
【Qt开发流程】之2D绘图1：概述及基本绘制与填充和渐变填充

【Qt开发流程】之2D绘图1：概述及基本绘制与填充和渐变填充

概述 Qt的绘图系统可以使用相同的API在屏幕和打印设备上进行绘图&#xff0c;并且主要基于QPainter, QPaintDevice和QPaintEngine类。 QPainter用于执行绘图操作&#xff0c;QPaintDevice是一个二维空间的抽象&#xff0c;可以使用QPainter在其上绘制&#xff0c;QPaintEngine…
阅读更多...
《天天爱科学》期刊国家级知网投稿

《天天爱科学》期刊国家级知网投稿

《天天爱科学》国家级期刊知网收录&#xff0c;投稿方向&#xff1a;幼儿教育、基础教育文章&#xff0c;不收案例分析、教学设计、图表讲解、例题分析。 刊名&#xff1a;天天爱科学 主管单位&#xff1a;中国出版传媒股份有限公司 主办单位&#xff1a;人民文学出版社有限…
阅读更多...
jmeter接口测试之登录测试

jmeter接口测试之登录测试

注册登录_登陆接口文档 1.登录 请求地址&#xff1a; POST xxxxxx/Home/Login 请求参数&#xff1a; args{LoginName:"mtest", // 登录名&#xff0c;可以为用户名或邮箱Password:"123456" // 密码" }响应数据&#xff1a; 成功 {"S…
阅读更多...
docker 资源控制

docker 资源控制

Docker的资源控制 对容器使用宿主机的资源进行限制&#xff0c;如cpu&#xff0c;内存&#xff0c;磁盘I/O Docker使用linux自带的功能cgroup(control grouos)是linux内核系统提供的一种可以限制&#xff0c;记录&#xff0c;隔离进程组使用的物理资源 Docker借助这个机制&…
阅读更多...
ARM:作业3

ARM:作业3

按键中断代码编写 代码: key_it.h #ifndef __KEY_IT_H__ #define __KEY_IT_H__#include "stm32mp1xx_gpio.h" #include "stm32mp1xx_exti.h" #include "stm32mp1xx_rcc.h" #include "stm32mp1xx_gic.h"void key1_it_config(); voi…
阅读更多...
基于 ESP32-S3 的 Walter 开发板

基于 ESP32-S3 的 Walter 开发板

Walter 是一款基于 ESP32-S3 且拥有 5G LTE 连接功能的新型开源开发套件。 近日&#xff0c;比利时公司 DPTechnics BV 推出了一款基于乐鑫 ESP32-S3 且拥有 5G LTE 连接功能的新型开源开发套件。该套件即将在 Crowd Supply 平台上发布&#xff0c;您可以点击此处了解详情。 无…
阅读更多...
class068 更多的动态规划【算法】

class068 更多的动态规划【算法】

class068 更多的动态规划【算法】 算法讲解068【必备】见识更多二维动态规划题目 code1 115. 不同的子序列 // 不同的子序列 // 给你两个字符串 s 和 t &#xff0c;统计并返回在 s 的 子序列 中 t 出现的个数 // 测试链接 : https://leetcode.cn/problems/distinct-subseque…
阅读更多...
Mac如何设置control+space切换上一中输入法

Mac如何设置control+space切换上一中输入法

#设置方法# *搜索输入法 系统设置-搜索&#xff1a;输入法&#xff0c;并点击键盘快捷键 *点击输入法&#xff0c;勾选&#xff1a;选择上一个输入法&#xff0c;点击完成。
阅读更多...
漂亮的WPF界面 流行的一个界面，向上悬浮的窗口，终于试成功了

漂亮的WPF界面 流行的一个界面，向上悬浮的窗口，终于试成功了

目前随便打开个APP&#xff0c;就可以看到一个悬浮的窗口 今天测试一下目前流行的一个界面&#xff0c;向上悬浮的窗口&#xff0c;终于试成功了。看着还不错的。
阅读更多...
.net core提示The xx field is required，One or more validation errors occurred

.net core提示The xx field is required，One or more validation errors occurred

访问接口时缺少model中的参数时&#xff0c;会提示&#xff1a; The xx field is required One or more validation errors occurred原因是.net core webapi默认参数为不可空&#xff0c;因此会验证并报错。 解决方案&#xff1a; 在项目的.csproj中&#xff0c;修改Nullable…
阅读更多...
Leetcode—2960.统计已测试设备【简单】

Leetcode—2960.统计已测试设备【简单】

2023每日刷题&#xff08;五十六&#xff09; Leetcode—2960.统计已测试设备 实现代码 int countTestedDevices(int* batteryPercentages, int batteryPercentagesSize) {int cnt 0;int ans 0;for(int i 0; i < batteryPercentagesSize; i) {int t batteryPercentage…
阅读更多...
装机必备 | 超赞OCR文本识别小工具 Text Scanner

装机必备 | 超赞OCR文本识别小工具 Text Scanner

Text Scanner 是一款功能强大的图片扫描工具软件,该软件利用光学字符识别技术&#xff0c;来将图片上的文字内容&#xff0c;直接转换为可编辑文本&#xff0c;实用性很强。 光学字符识别&#xff08;OCR&#xff09;&#xff1a;Text Scanner for Mac采用了先进的OCR技术&…
阅读更多...
qt 使用百度在线地图 方法2

qt 使用百度在线地图 方法2

使用百度在线地图两个关键点&#xff0c;一是html页面准备&#xff1b;二是qt 与js 语言的交互。 1&#xff0c;html页面的准备&#xff0c;双击页面就可以出现如下效果。 主要代码&#xff1a; <!DOCTYPE html> <html> <head><meta http-equiv"C…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023