考研逻辑整理 - 负判断、联言判断和联言推理

2024-05-01 07:32

本文主要是介绍考研逻辑整理 - 负判断、联言判断和联言推理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

负判断

1) 负判断是否定某个判断所得到的判断,又称为判断的否定。

2) 负判断的逻辑形式:并非P 或者 ¬P
  Ⅰ. 肢判断P : 这个P可以是任何类型的判断。
  Ⅱ. 联结项: “并非” 或 “¬”
  
3) 负判断的常用联结词:
  “非…” 、”…是假的”、”不是…”等,都是并非的意思。
   例如:”并非P”、”并不P”、”不是P”、”非P”、”P是假的等”
  
4) 负判断的逻辑值
负判断 “并非P” 和 原判断 “P”之间具有矛盾关系。

P¬P

联言判断

1) 定义:
 联言判断就是断定几种事物情况同时存在的判断。逻辑形式:p且q
 
2) 组成:
 联言肢:两个或两个以上,一般用符号P、Q表示
 联结项:用逻辑符号”∧”表示,读作”并且”  
 
3) 例子:
 一个二肢联言判断的逻辑形式为:
 语言表达式: P并且Q , 符号表达式:P ∧ Q
 
4) 相似表达:
 与”且”相似的表达:
 a.  P并且Q
 b. 既P又Q
 c. P而且Q
 d. P, 而Q
 e. P, 却Q
 f.  不但P, 而且Q
 g. 虽然P,但是Q
 
5) 联言判断的逻辑值 (真值表)

PQP ∧ Q


6) 通过真值表总结联言判断的逻辑特征:一假则假,同真则真。


联言推理

联言推理就是前提或结论为联言判断,并且依据联言判断的真假特征进行的推理。

例如:
 Ⅰ.  P ∧ Q ⇒ P  即: (P ∧ Q) 真 ⇒ P真
 Ⅱ.  P ∧ Q ⇒ Q 即: (P ∧ Q) 真 ⇒ Q真
 Ⅲ.  P, Q ⇒ P ∧ Q  即: P真, Q真 ⇒ (P ∧ Q) 真

备注:“⇒”为推出符号。


寄语

       所有的非凡,一定伴随着数不尽的跌倒与创伤;所有的辉煌,一定伴随着数不清的挫折与忧伤。没有一件事情可以让你一步登天,更没有一件事情可以将你彻底打垮。慢慢走,别放弃,总有一天会走到柳暗花明。早安!

— 人民日报

这篇关于考研逻辑整理 - 负判断、联言判断和联言推理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/951066

相关文章

Mysql中深分页的五种常用方法整理

《Mysql中深分页的五种常用方法整理》在数据量非常大的情况下,深分页查询则变得很常见,这篇文章为大家整理了5个常用的方法,文中的示例代码讲解详细,大家可以根据自己的需求进行选择... 目录方案一:延迟关联 (Deferred Join)方案二:有序唯一键分页 (Cursor-based Paginatio

最新Spring Security实战教程之表单登录定制到处理逻辑的深度改造(最新推荐)

《最新SpringSecurity实战教程之表单登录定制到处理逻辑的深度改造(最新推荐)》本章节介绍了如何通过SpringSecurity实现从配置自定义登录页面、表单登录处理逻辑的配置,并简单模拟... 目录前言改造准备开始登录页改造自定义用户名密码登陆成功失败跳转问题自定义登出前后端分离适配方案结语前言

Java逻辑运算符之&&、|| 与&、 |的区别及应用

《Java逻辑运算符之&&、||与&、|的区别及应用》:本文主要介绍Java逻辑运算符之&&、||与&、|的区别及应用的相关资料,分别是&&、||与&、|,并探讨了它们在不同应用场景中... 目录前言一、基本概念与运算符介绍二、短路与与非短路与:&& 与 & 的区别1. &&:短路与(AND)2. &:非短

Mysql中InnoDB与MyISAM索引差异详解(最新整理)

《Mysql中InnoDB与MyISAM索引差异详解(最新整理)》InnoDB和MyISAM在索引实现和特性上有差异,包括聚集索引、非聚集索引、事务支持、并发控制、覆盖索引、主键约束、外键支持和物理存... 目录1. 索引类型与数据存储方式InnoDBMyISAM2. 事务与并发控制InnoDBMyISAM

StarRocks索引详解(最新整理)

《StarRocks索引详解(最新整理)》StarRocks支持多种索引类型,包括主键索引、前缀索引、Bitmap索引和Bloomfilter索引,这些索引类型适用于不同场景,如唯一性约束、减少索引空... 目录1. 主键索引(Primary Key Index)2. 前缀索引(Prefix Index /

C++实现回文串判断的两种高效方法

《C++实现回文串判断的两种高效方法》文章介绍了两种判断回文串的方法:解法一通过创建新字符串来处理,解法二在原字符串上直接筛选判断,两种方法都使用了双指针法,文中通过代码示例讲解的非常详细,需要的朋友... 目录一、问题描述示例二、解法一:将字母数字连接到新的 string思路代码实现代码解释复杂度分析三、

Java判断多个时间段是否重合的方法小结

《Java判断多个时间段是否重合的方法小结》这篇文章主要为大家详细介绍了Java中判断多个时间段是否重合的方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录判断多个时间段是否有间隔判断时间段集合是否与某时间段重合判断多个时间段是否有间隔实体类内容public class D

Python判断for循环最后一次的6种方法

《Python判断for循环最后一次的6种方法》在Python中,通常我们不会直接判断for循环是否正在执行最后一次迭代,因为Python的for循环是基于可迭代对象的,它不知道也不关心迭代的内部状态... 目录1.使用enuhttp://www.chinasem.cnmerate()和len()来判断for

如何测试计算机的内存是否存在问题? 判断电脑内存故障的多种方法

《如何测试计算机的内存是否存在问题?判断电脑内存故障的多种方法》内存是电脑中非常重要的组件之一,如果内存出现故障,可能会导致电脑出现各种问题,如蓝屏、死机、程序崩溃等,如何判断内存是否出现故障呢?下... 如果你的电脑是崩溃、冻结还是不稳定,那么它的内存可能有问题。要进行检查,你可以使用Windows 11

poj 3259 uva 558 Wormholes(bellman最短路负权回路判断)

poj 3259: 题意:John的农场里n块地,m条路连接两块地,w个虫洞,虫洞是一条单向路,不但会把你传送到目的地,而且时间会倒退Ts。 任务是求你会不会在从某块地出发后又回来,看到了离开之前的自己。 判断树中是否存在负权回路就ok了。 bellman代码: #include<stdio.h>const int MaxN = 501;//农场数const int