离散数学例题——1.数理逻辑（命题逻辑）

2024-03-04 06:36

文章标签 例题离散数学命题逻辑数理逻辑

本文主要是介绍离散数学例题——1.数理逻辑（命题逻辑），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

有ABC三个猜测甲乙丙三个球队中的冠军，三个人的猜测如下:

A:冠军不是甲，也不是乙
B:冠军不是甲，而是丙
C:冠军不是丙，而是甲
已知其中有一个人说的完全正确，一个人说的都不对，而另外一个人恰有一半说对了，据此推算，冠军应该是
A.甲
B.乙
C.丙
D.不确定
在这里插入图片描述
因此，只有PQR=100时符合要求。

证明公式等价

在这里插入图片描述

基本等价公式

判断((P→Q)^(Q→R))→(P→R)的类型

在这里插入图片描述

等值演算基本思路

在这里插入图片描述

计算主析取范式和主合取范式

在这里插入图片描述

用真值表求范式

在这里插入图片描述

用等值演算求范式

在这里插入图片描述

用范式证明等价

在这里插入图片描述

自然演绎法进行推理证明

在这里插入图片描述

附加前提进行推理证明

在这里插入图片描述

反证法（归谬法）进行推理证明

在这里插入图片描述

推理正确，推理得出的结论未必正确；只有在前提正确的情况下，正确推理才能得到正确结论

在这里插入图片描述

归结原理证明

在这里插入图片描述

这篇关于离散数学例题——1.数理逻辑（命题逻辑）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

http://www.chinasem.cn/article/772296。 23002807@qq.com

相关文章

大厂算法例题解之网易2018秋招笔试真题（未完）

大厂算法例题解之网易2018秋招笔试真题（未完）

1、字符串碎片【题目描述】一个由小写字母组成的字符串可以看成一些同一字母的最大碎片组成的。例如,“aaabbaaac” 是由下面碎片组成的:‘aaa’,‘bb’,‘c’。牛牛现在给定一个字符串,请你帮助计算这个字符串的所有碎片的平均长度是多少。输入描述: 输入包括一个字符串 s,字符串 s 的长度 length(1 ≤ length ≤ 50),s 只含小写字母(‘a’-‘z’) 输出描述

阅读更多...

正规式与有限自动机例题

正规式与有限自动机例题

答案：D 知识点：正规式正规集举例 ab 字符串ab构成的集合 {ab} a|b 字符串a,b构成的集合 {a,b} a^* 由0或者多个a构成的字符串集合 {空,a,aa,aaa,aaaa····} (a|b)^* 所有字符a和b构成的串的集合 {空,a,b,ab,aab,aba,aaab····} a(a|b)^* 以a为首字符的a,b字符串的集

阅读更多...

算法练习小技巧之有序集合--套路详细解析带例题(leetcode)

算法练习小技巧之有序集合--套路详细解析带例题(leetcode)

前言: 本文详细讲解Python中的有序集合SortedList和C++中的有序集合multiset的用法，配合leetcode的例题来展示实际的用处。(本人水平不够，还无法讲解有序集合的实现方法，只会用) 觉得有帮助或者写的不错可以点个赞，后面也有几道我找出来的题目可以用这个方法快速解决的 (感觉有点水) 目录有序集合用法讲解:

阅读更多...

【抽代复习笔记】28-群（二十二）：四道子群例题

【抽代复习笔记】28-群（二十二）：四道子群例题

例1：证明，循环群的子群是循环群。证：设G = (a)，H ≤ G。（1）若H = {e}，则H是一阶循环群；（2）设H至少包含2个元素，即设H = {...,a^(-k),a^(-j),a^(-i),a^0,a^i,a^j,a^k,...}，其中a^i是H中正指数最小的元素，0＜i＜j＜k，下证a^i是H的生成元：对任意的a^t∈H(t∈Z)，存在q∈Z，使得t = qi

阅读更多...

两个月冲刺软考——逻辑地址与物理地址的转换(例题+讲解)；文件类型的考点

两个月冲刺软考——逻辑地址与物理地址的转换(例题+讲解)；文件类型的考点

1.已知计算机系统页面大小和进程的逻辑地址，根据页面变换表(页号-物理块号)，求变换后的物理地址。首先介绍几个公式：逻辑地址 = 页号 + 页内地址 (默认为32机位) 物理地址 = 物理块号 + 物理地址的页内地址其中：页内地址 = 物理地址的页内地址解题：由于页面大小为4K，即4K=2的12次方，占0~11位；也就是页内地址有12位，故十六进制数中的C28是页内地址，那

阅读更多...

高级编程语言翻译例题

高级编程语言翻译例题

编译器的流程源程序—词法分析—语法分析—语义分析—中间代码生成—代码优化—目标代码生成—目标程序选项A：先进性词法分析，接着进行语法分析，最后进行语义分析选项B：语法分析阶段只能发现程序上的语法错误，其他类型错误不能发现选项C：语义分析阶段与目标机器的体系结构无关根据排除法选择D

阅读更多...

【时时三省】c语言例题----华为机试题＜查找组成一个偶数最接近的两个素数＞

【时时三省】c语言例题----华为机试题＜查找组成一个偶数最接近的两个素数＞

山不在高，有仙则名。水不在深，有龙则灵。 ----CSDN 时时三省 1，题目 HJ60 查找组成一个偶数最接近的两个素数描述任意一个偶数（大于2）都可以由2个素数组成，组成偶数的2个素数有很多种情况，本题目要求输出组成指定偶数的两个

阅读更多...

C语言典型例题61

C语言典型例题61

《C程序设计教程（第四版）——谭浩强》题目：习题4.2 一个单位下设三个班组，每个班组人员不固定，需要统计每个班组的平均工资。分别输入3个班组所有职工的工资，当输入-1时，表示输入结束。输出班组号和该班组的平均工资。代码： //《C程序设计教程（第四版）——谭浩强》//习题4.2 一个单位下设三个班组，每个班组人员不固定，需要统计每个班组的平均工资。//分别输入3个

阅读更多...

【时时三省】c语言例题----华为机试题＜等差数列＞。

【时时三省】c语言例题----华为机试题＜等差数列＞。

目录 1，题目描述输入描述：输出描述：示例1 示例2 2，代码山不在高，有仙则名。水不在深，有龙则灵。 ----CSDN 时时三省 1，题目 HJ100 等差数列描述等差数列 2，5，8，11，14。。。。

阅读更多...

【时时三省】c语言例题----华为机试题＜等差数列＞

【时时三省】c语言例题----华为机试题＜等差数列＞

山不在高，有仙则名。水不在深，有龙则灵。 ----CSDN 时时三省 1，题目 HJ100 等差数列描述等差数列 2，5，8，11，14。。。。（从 2 开始的 3 为公差的等差数列）输出求等差数列前n项和数据范围： 1≤n≤

阅读更多...