XJTUSE-离散数学-命题演算

最新推荐文章于 2024-08-11 13:48:11 发布
最新推荐文章于 2024-08-11 13:48:11 发布
阅读量372 收藏 5
点赞数 3
分类专栏： XJTUSE-大二上 文章标签： 离散数学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_64112516/article/details/141098186
版权

命题与真值联结词

凡是能分辨真假的语句就是命题

  1. 合取 : P\wedge Q
  2. 析取 ： P \vee Q
  3. 蕴含： P \rightarrow Q = \neg P \vee Q

指派和真值表

指派就是一个确定的变元组，确定了其真假值。

成真指派，成假指派

真值表 ： 所有指派列出来的表格

永真公式 = 重言式

永假公式 = 矛盾式

逻辑等价关系

挺简单的

替换定理

代入定理

其他联结词

异或 ： P \overline{\vee} Q = (P \wedge \neg Q) \vee (\neg P \wedge Q)

与非 ： P \uparrow Q = \neg (P \wedge Q)

或非 ： P \downarrow Q = \neg (P \vee Q)

全功能 （功能完备）的概念 ： 任一真值函数都可以用其联结词表示

极小全功能

析取范式、合取范式的概念

析取范式 ： \alpha = \alpha_1 \wedge\alpha_2 ......

合取范式同理

主析取范式 、主合取范式的概念 .... (提示：小项包含全部变元)

逻辑蕴含变换

略

对偶定理

原命题 a

对偶命题 a^* : 把合取换成析取，把析取换为合取。

内否式 a^- : 把变元变成相应的否定形式。

有如下定理：

  1. \neg (a^*) <=> (\neg a)^* 
  2. \neg (a^-) <=> (\neg a)^-
  3. \neg a <=> (a^*)^-

如下定理：

  1. a为永真公式当且仅当a^-为永真公式
  2. \neg a为永真公式当且仅当a^*为永真公式

对偶定理[1]：

命题演算的形式推理

直接引入规则

前提引入规则（无代价）

假设引入规则（有代价）

直接推理规则

蕴含消去规则

合取消去规则

析取引入规则

等价引入规则

等价消去规则

间接推理规则

蕴含引入规则

析取消去规则

否定消去规则

否定引入规则

YiYo832
关注
专栏目录
离散数学-2 命题逻辑等值演算
哈哈岛
03-15 1万+
求公式主析取范式的方法步骤:方法一：等值演算设公式A含命题变项p1,p2,…,pn(1) 求A的析取范式A=B1B2 … Bs , 其中Bj是简单合取式 j=1,2, … ,s(2) 若某个Bj既不含pi, 又不含Øpi, 则将Bj展开成 Bj Bj(pipi)  (Bjpi)(Bjpi)重复这个过程, 直到所有简单合取式都是长度为n的极小项为止...
离散数学讲义-离散数学期末-考研
03-30
1. **命题逻辑**（第1章）：这是离散数学的入门部分，主要研究逻辑运算，包括与、或、非等逻辑连接词，以及蕴含、等价等逻辑关系。学习命题逻辑有助于理解逻辑推理和证明的基本方法。 2. **谓词逻辑**（第2章）：相...
XJTUSE-离散数学-谓词演算
weixin_64112516的博客
08-11 305
XJTUSE-离散数学-谓词演算
离散数学学习笔记----命题逻辑等值演算
沃·夏澈德的博客
03-22 3903
命题逻辑等值演算 等值式 暴力方法1：判断两个公式A与B是否等职的方法，最直接就是用真值表法判断$A\leftrightarrow B $是否为重言式。 16组常用的重要等值式模式： 双重否定律 A⇔¬¬AA \Leftrightarrow \neg \neg AA⇔¬¬A 幂等律 A⇔A∨AA \Leftrightarrow A \vee AA⇔A∨A, A⇔A∧AA \Leftrightarrow A \wedge AA⇔A∧A 交换律 A∨B⇔B∨AA \vee B \Leftrightarrow
-离散数学-期末练习题解析
热门推荐
unseven的博客
12-19 2万+
一、填空 A,B,C表示三个集合，图中阴影部分的集合的表达式为_______ (B ⊕ C) - A ⊕表示对称差，A⊕B为表示（A∪B)-(A∩B)，该图表示B与C的对称差还要减去与A相交的部分 公式
偶数题答案--离散数学及其应用（英文版·第7版）.pdf
09-20
命题逻辑是离散数学的一个核心组成部分，主要用于分析和表达含有逻辑连接词的声明句（命题）的真值情况。 命题逻辑部分包含了以下几个关键知识点： 1. 命题的定义：命题是一个声明句，必须有明确的真值——要么是...
清华大学--离散数学概念整理.pdf
04-04
在离散数学中，命题逻辑是其中的一个重要组成部分，它关注的是命题之间的逻辑关系和推理规则。本知识点整理以清华大学离散数学教材为蓝本，提炼出命题逻辑相关的关键概念，为理解和应用命题逻辑提供系统的知识框架。...
02324 - 离散数学.zip
03-26
2. **逻辑**：逻辑是离散数学的基础，它研究命题的真假、推理规则和证明方法。这里会涉及命题逻辑、量词逻辑（存在量词和全称量词）以及蕴含、等价、否定等逻辑运算。 3. **图论**：图论是研究点和线的相互关系的...
南邮-离散数学期末复习题.pdf
11-21
离散数学是一门重要的计算机科学基础课程，主要研究离散对象的结构、性质和相互关系。以下是基于题目给出的部分内容的详细知识点解析： 1. **集合论基础**： - 集合的交集（AnB）表示同时属于集合A和B的元素集合。...
KKобтьу╬kkx.net.url
09-14
KKобтьу╬kkx.net.url
『人事流程图新』人力资源培训计划制定工作流程图.xlsx
09-14
『人事流程图新』人力资源培训计划制定工作流程图.xlsx
Delphi XE Web开发使用嵌入版Firebird数据库，演示IntraWeb的使用
09-14
Delphi XE Web开发使用嵌入版Firebird数据库，演示IntraWeb的使用。 开发测试环境： Embarcadero Delphi XE Version 15.0.3890.34076 IntraWeb 14.0.32 Firebird 2.5.9 (Windows Build) 注：本delphi源代码参考官方文档，修改测试而成，都是本人实验成功的。(本人CSDN的ID:i8013)
基于Springboot和Mysql的汽车销售网代码，包括程序，中文注释，配置说明操作步骤
09-14
汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网-汽车销售网 1、资源说明：汽车销售网源码，本资源内项目代码都经过测试运行成功，功能ok的情况下才上传的。 2、适用人群：计算机相关专业(如计算计、信息安全、大数据、人工智能、通信、物联网、自动化、电子信息等)在校学生、专业老师或者企业员工等学习者，作为参考资料，进行参考学习使用。 3、资源用途：本资源具有较高的学习借鉴价值，可以作为“参考资料”，注意不是“定制需求”，代码只能作为学习参考，不能完全复制照搬。需要有一定的基础，能够看懂代码，能够自行调试代码，能够自行添加功能修改代码。 4. 最新计算机软件毕业设计选题大全(文章底部有博主联系方式): https://blog.csdn.net/2301_79206800/article/details/135931154 技术栈、环境、工具、软件： ① 系统环境:Windows ② 开发语言：Java ③ 框架：SpringBoot ④ 架构:B/S、MVC ⑤ 开发环境:IDEA、JDK、Maven、M
MATLAB的图像处理系统GUI设计.zip
09-14
linux常用命令大全
基于Flask的个人博客与小说爬取系统.zip
最新发布
09-14
该项目是一个基于Flask和requests框架的个人博客系统，并集成了小说爬取功能。用户可以在博客上发布文章，管理文章，同时还可以通过系统爬取小说并展示。项目提供了详细的安装教程和环境搭建步骤，以及清晰的用户界面展示。这是一个功能丰富，实用便捷的网站系统。 1、资源项目源码均已通过严格测试验证，保证能够正常运行； 2、项目问题、技术讨论，可以给博主私信或留言，博主看到后会第一时间与您进行沟通； 3、本项目比较适合计算机领域相关的毕业设计课题、课程作业等使用，尤其对于人工智能、计算机科学与技术等相关专业，更为适合； 4、下载使用后，可先查看READmE.文md件（如有），本项目仅用作交流学习参考，请切勿用于商业用途。
基于ssm的体育器材租借管理系统设计与实现.docx
09-14
基于ssm的体育器材租借管理系统设计与实现.docx
基于ResNet+BERT的多种融合方法实现的多模态情感分析源码+数据集+项目说明（人工智能课程实验）
09-14
基于ResNet+BERT的多种融合方法实现的多模态情感分析源码+数据集+项目说明（人工智能课程实验），本项目基于Hugging Face和torchvision实现，共有五种融合方法（2Naive 3Attention），在Models文件夹中查看 Project Structure |-- Multimodal-Sentiment-Analysis |-- Config.py |-- main.py |-- README.md |-- requirements.txt |-- Trainer.py |-- data | |-- .DS_Store | |-- test.json | |-- test_without_label.txt | |-- train.json | |-- train.txt | |-- data |-- Models | |-- CMACModel.py | |-- HSTECModel.py |
『人事流程图新』员工奖惩流程图.xls
09-14
『人事流程图新』员工奖惩流程图.xls
离散数学复习：命题与谓词逻辑详解
离散数学是计算机科学的基础课程，它涉及到许多概念和理论，尤其在逻辑推理和形式证明方面扮演着核心角色。在离散简答题集合中，我们可以看到一系列关于命题逻辑和谓词逻辑的重要问题。 首先，命题逻辑公式是逻辑...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值