逻辑命题与推理
必然性推理（演绎推理）：对当关系推理、三段论、复合命题推理、关系推理和模态推理
可能性推理：归纳推理（枚举归纳、科学归纳）、类比推理
命题
直言命题的种类：（AEIOae）
⑴全称肯定命题：所有S是P（SAP）
⑵全称否定命题：所有S不是P（SEP）
⑶特称肯定命题：有的S是P（SIP）
⑷特称否定命题：有的S不是P（SOP）
⑸单称肯定命题：某个S是P（SaP）
⑹单称否定命题：某个S不是P（SeP）
直言命题间的真假对当关系：
矛盾关系、（上）反对关系、（下）反对关系、从属关系
矛盾关系：具有矛盾关系的两个命题之间不能同真同假。主要有三组：
SAP与SOP之间。“所有同学考试都几个了”与“有些同学考试不及格”
SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格”
SaP与SeP之间。“张三考试及格”与“张三考试不及格”
上反对关系：具有上反对关系的两个命题不能同真（必有一假），但是可以同假。即要么一个是假的，要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。
下反对关系：具有下反对关系的两个命题不能同假（必有一真），但是可以同真。即要么一个是真的，要么两个都是真的。存在于SIP与SOP、SeP与SIP、SaP与SOP之间。
从属关系（可推出关系）：存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP
六种直言命题之间存在的对当关系可以用一个六角图形来表示，“逻辑方阵图”
SAP SEP
SaP SeP
SIP SOP
直言命题的真假包含关系
全同关系、真包含于关系、真包含关系、交叉关系、全异关系
复合命题：负命题、联言命题、选言命题、假言命题
负命题的一般公式：并非P
联言命题公式：p并且q “并且、…和…、既…又…、不但…而且、虽然…但是…”
选言命题：相容的选言命题、不相容的选言命题
相容的选言命题公式：p或者q“或、或者…或者…、也许…也许…、可能…可能…”
【一个相容的选言命题是真的，只有一个选言支是真的即可。只有当全部选言支都假时，相容的选言命题才是假的】不相容选言命题公式：要么p要么q
“要么…要么…、不是…就是…、或者…或者…二者必居其一、或者…或者…二者不可兼得”
【一个不相容的选言命题是真的，有且只有一个选言支是真的。当选言支全真或全假时，此命题为假】
假言命题：充分条件假言命题、必要条件假言命题、充要条件假言命题
充分条件假言命题公式：如果p，那么q“如果…就…、有…就有…、倘若…就…、哪里有…哪里有…、一旦…就…、假若…、只要…就…”
【有前件必然有后件。如果有前件却没有后件，这个充分条件假言命题就是假的。因此，对于一个充分条件的假言命题来说，只有当其前件真而后件假时，命题才假。】
必要条件假言命题公式：只有p，才q
“没有…就没有…、不…不…、除非…不…、除非…才…”
【没有前件必然没有后件。如果没有前件也有后件，这个必要假言命题为假。对于一个必要条件的假言命题来说，只有当其前件假而后件真时，命题才假。】
充要条件假言命题公式：当且仅当p，才q
【有前件必然有后件，没有前件必然没有后件。充要条件假言命题在前件与后件等值即前件真并且后件真，或者前件假并且后件假时，命题为真，在前件与后件不等值即前真后假，或前假后真时，命题为假】
充分条件与必要条件之间可以相互转化：
如果p，那么q＝＝＝只有q，才p
只有p，才q，＝＝＝如果q，那么p
模态命题：反映事物存在或发展的必然性或可能性的命题。模态命题包含“必然”、“可能”等模态词。
必然肯定命题：必然P
必然否定命题：必然非P
可能肯定命题：可能p
可能否定命题：可能非P
四者之间的关系如下：模态方阵
必然P 必然非P
可能P 可能非P
推理
1、直言命题的变形推理：换质推理、换位推理
⑴换质推理也就是改变谓项。“是”或者“不是”
除了改变联项外，同时还需要把结论中的谓项变为前提谓项的矛盾概念。
“所有S是P”可以换质为“所有S不是非P”
“所有S不是P”可以换质为“所有S是非P”
“有些S是P”可以换质为“有些S不是非P”
“有些S不是P”可以换质为“有些S是非P”
⑵换位推理就是改变前提中主项与谓项的位置。
除了交换主项与谓项的位置外，还需要注意的是在前提中不周延的词项在结论中也不能周延。
“所有S是P”换位为“有些P是S”
“所有S不是P”换位为“所有P不是S”
“有些S是P”换位为“有些P是S”
注意：“有些S不是P”不能换位为“有些P不是S”
2、联言推理：分解式与组合式
分解式就是由前提中一个联言命题为真，推出其任一支命题为真的联言命题。
组合式就是由前提中一些支命题为真推出这些支命题所组成的联言命题为真的联言推理。
3、选言推理：相容的选言推理与不相容的选言推理
相容的选言推理规则：（只有一种有效的推理形式，即否定肯定式）
否定一部分选言支，就要肯定另一部分选言支；
肯定一部分选言支，不能因此而否定另一部分选言支；
不相容的选言推理规则：（否定肯定式、肯定否定式）
否定除了一个选言支以外的其余选言支，就要肯定那个没有被否定的选言支；
肯定一个选言支，就要否定其余的选言支；
4、假言推理
充分条件的假言推理规则：（有效推理：肯定前件式，否定后件式）
肯定前件就要肯定后件，否定后件就要否定前件；
否定前件不能否定后件，肯定后件不能肯定前件；
必要条件的假言推理规则：（有效推理：否定前件式；肯定后件式）
否定前件就要否定后件，肯定后件就要肯定前件；
肯定前件不能肯定后件，否定后件不能否定前件；
充要条件的假言推理规则：
肯定前件就要肯定后件，否定后件就要否定前件；
否定前件就要否定后件，肯定后件就要肯定前件；
假言连锁推理：
要求：前提中的第一个假言命题的后件必须与第二个假言命题的前件相同。充分条件的假言连锁推理：
如果p那么q
如果q，那么r
所以，如果p，那么r
必要条件的假言连锁推理：
只有p，才q
只有q，才r
所以，只有p才r
5、模态推理
“必然P”与“并非可能非P”可以互相推出
“必然非P”与“并非可能P”可以相互推出
“可能P”与“并非必然非P”可以相互推出
“可能非P”与“并非必然P”可以相互推出
一个模态命题的负命题等值于与该模态命题具有矛盾关系的命题。
并非必然P＝＝＝可能非P
并非必然非P＝＝＝可能P
并非可能P＝＝＝必然非P
并非可能非P＝＝＝必然P
“必然P”可以推出“可能P”
“必然非P”可以推出“可能非P”
“并非可能P”可以推出“并非必然P”
“并非可能非P”可以推出“并非必然非P”
可能性推理类型：
削弱型：最能削弱型、最不能削弱型
加强型
前提与预设型
解释型：最能解释、最不能解释
评价型
结论性
词项的周延性
主项的周延性是由量项来决定的，量项是全称的则主项周延，量项是特称的则主项不周延；谓项的周延性是由联项来决定的，联项是肯定的则谓项不周延，联项是否定的，则谓项周延。六种直言命题之间存在的对当关系可以用一个六角图形来表示，“逻辑方阵图”
SAP SEP
SaP SeP
SIP SOP
直言命题的真假包含关系（全同关系、真包含于关系、真包含关系、交叉关系、全异关系）
四者之间的关系如下：模态方阵
必然P 必然非P
可能P 可能非P
相容的选言推理规则：（只有一种有效的推理形式，即否定肯定式）
不相容的选言推理规则：（否定肯定式、肯定否定式）
充分条件的假言推理规则：（有效推理：肯定前件式，否定后件式）
必要条件的假言推理规则：（有效推理：否定前件式；肯定后件式）
题号：第一题 题目：电梯模拟 1，需求分析： 计算命题演算公式的真值 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。 （2）逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。 （3）根据用户的要求显示表达式的真值表。 2，设计： 2.1 设计思想： <1>，数据结构设计： (1) 线性堆栈1的数据结构定义 typedef struct { DataType stack [MaxStackSize]; int top; /* 当前栈的表长*/ } SeqStack; 用线性堆栈主要是用来存储输入的字符，它的作用就是将中缀表达式变成后缀表达式。 (2) 线性堆栈2的数据结构定义 typedef struct { BiTreeNode *stack [MaxStackSize]; int top; /* 当前栈的表长*/ } TreeStack; 这个堆栈和上面的堆栈的唯一不同就是它们存储的数据的类型不同，此堆栈存储的是树节点，它的作用是将后缀表达式构成一棵二叉树。
(3)树节点数据结构定义 typedef struct Node { DataType data; struct Node *leftChild; struct Node *rightChild; }BiTreeNode; <2>算法设计详细思路如下： 首先实现将中缀表达式变成后缀表达式： 在将中缀表达式变成后缀表达式的时候会用到堆栈，因此首先需要初始化一个堆栈。又由于逻辑变元可能是字符也可能是字符串，所以它又不同于将单字符的逻辑变元的中缀表达式变成后缀表达式。我的设计是这样的，我将中缀表达式变成后缀表达式的过程分成了两部：化简（将一维的复杂的中缀表达式变成一维的简单的中缀表达式，并将字符串逻辑变元存放在二维数组中），转化（将化简后的中缀表达式变成后缀表达式）。 （1）化简：先用一个字符数组存放输入的中缀表达式（表达式以‘#’号结束），然后将一维的中缀表达式中的字符串逻辑变元用一个字符进行标识，这样我们就可以将原来复杂的中缀表达式变成熟悉而又简单的中缀表达式，同时用二维数组存放那些字符串逻辑变元。实现的过程就是首先扫描一维中缀表达式，如果遇到逻辑符号，那么记住这个逻辑符号在数组中的相对位置用一个变量存放，然后继续扫描中缀表达式直到再次遇到逻辑符号，再一次记住它在中缀表达式中的相对位置，这两个逻辑符号之间的部分就是一个完整的逻辑变元，将这个字符串逻辑变元用一个字符代替并将这个字符串逻辑变元保存在二维数组中。这个过程的实现我把它放在change()函数中。 （2）转化：在实现该功能时，首先需要定义各符号的优先级，即：'(' 和')' 的优先级最高；'!'（逻辑非号）的优先级次之；'&'（逻辑与号）的优先级又低一级，'|'（逻辑或号）的优先级跟低；'#' （他不是逻辑符号，只是为了方便使用堆栈而设置）的优先级最低，接着将'#'压入堆栈。在这之后就是正式的转化了，其过程为：当读到的是逻辑变元时直接输出，并保存到保存后缀表达式的数组中，当读到的单词为运算符时，令x1为当前栈顶运算符的变量，x2为当前扫描到的简单中缀表达式的运算符的变量，把当前读入的单词赋予变量x2，然后比较x1和x2的优先级。若x1的优先级高于x2的优先级，将x1退栈作为后缀表达式的一个单词输出，然后接着比较新的栈顶运算符x1的优先级与x2的优先级；若x1的优先级低于x2的优先级，将x2的值进栈，然后接着读下一个单词；若x1的优先级等于x2的优先级且x1为“（”，x2为“）”，将x1退栈，然后接着读下一个单词；若x1的优先级等于x2的优先级且x1为“#”，x2为“#”，算法结束。这个过程我把它放在InToPost()函数中。 然后用后缀表达式构造出二叉树： 在这个过程中，我用到了之前所定义的存放树的堆栈。具体实现为：扫描后缀表达式，如果遇到逻辑变元然后将这个变元变成一个树节点，它的实现就是将该逻辑变元赋给树的data域，然后将它的左右子树赋为NULL，然后将这个树节点压入相应的堆栈；接着继续扫描，如果遇到的是单目运算符（非号“！”）也将它构造成一个树节点然后从堆栈里面弹出一个树形节点，将弹出的元素的作为它的左子树，右子树设置为NULL，然后将这个树节点压入相应的堆栈；如果扫描到的是双目运算符（与号“&”或者或号“|”）将它也构造成一棵树，然后将这个树节点压入相应的堆栈，然后从栈中弹出两个元素，一个作为它的左子树，一个作为它的右子树，如此重复n（n为后缀表达式的长度）次。这个过程我把它放在Maketree()函数中。
第一章快读快解应用集锦 一、条件有矛盾真假好分辨 公务员考试中有这样的试题： 试题1：某仓库失窃，四个保管员因涉嫌而被传讯。四人的供述如下： 甲：我们四人都没作案； 乙：我们中有人作案； 丙：乙和丁至少有一人没作案； 丁：我没作案。 如果四人中有两人说的是真话，有两人说的是假话，则以下哪项断定成立?( ) A．说真话的是甲和丁 B．说真话的是乙和丙 C．说真话的是甲和丙 D．说真话的是乙和丁 这是典型的利用分析矛盾解析的试题。历年至今，在全国各地公务员考试中屡见鲜见。解析这类试题，关键要找到条件之间的逻辑矛盾，然后真假自明。 什么是逻辑矛盾?简明地说，两个不同的断定，必有一个真，一个假。比如：“这马是白的”和“这马不是白的”就构成了逻辑矛盾。两者不能同真也不能同假。而“这马是白的”和“这马是黄的”就不是逻辑矛盾。虽然它们不能同真，但有可能都是假的一一如果它是一匹红色的马呢?了解了这些常识，可以利用分析矛盾的方法，解答上题。 [解析] (1)四人中，两人诚实，两人说谎。 (2)甲和乙的话有矛盾! 甲：我们四人都没作案； 乙：我们中有人作案； 可断定：甲和乙两人一个诚实一个撒谎。剩余丙、丁两人中也必然是一个诚实一个撒谎。 (3)假设：丁说的是真话，那么，可推出丙说的话也真! 丙：乙和丁至少有一人没作案； 丁：我没作案。 显然，丁说真话不成立，于是推出：丁说假话，丙说真话。 (4)断定了丁说假话，就推出甲说的也是假话，乙说真话。 答案B。即：说真话的是乙和丙。 试题2：军训最后一天，一班学生进行实弹射击。几位教官谈论一班的射击成绩。 张教官说：“这次军训时间太短，这个班没有人射击成绩会是优秀。” 孙教官说：“不会吧，有几个人以前训练过，他们的射击成绩会是优秀。” 周教官说：“我看班长或是体育委员能打出优秀成绩。” 结果发现三位教官中只有一人说对了。 由此可以推出以下哪一项肯定为真?( ) A．全班所有人的射击成绩都不是优秀 B．班里所有人的射击成绩都是优秀 C．班长的射击成绩是优秀 D．体育委员的射击成绩不是优秀 [解析] (1)三人中只有一个说的对。 (2)张、孙二教官说法矛盾： 张教官说：“这次军训时间太短，这个班没有人射击成绩会是优秀。” 孙教官说：“不会吧，有几个人以前训练过，他们的射击成绩会是优秀。” 断定：张孙二人一对一错。因仅有一人对，第三个人周教官必错无疑。 周教官说：我看班长或是体育委员能打出优秀成绩。 这是错话，所以班长和体育委员都不优秀(任哪一个优秀周都不会错了)。
第一章逻辑推理 在数学竞赛中，有一类问题似乎不像数学题，这类问题没有或很少给出数量或数量关系，也不出现任何图形。解答这类问题没有什么现成的公式可用，甚至不需要什么复杂计算。也有的问题，似乎像算术或几何问题，但解决它却很少用到算术和集合的知识，而是用逻辑推理的知识来解答。这类问题称为逻辑推理问题。逻辑推理是运用已知若干判断去获得一个新判断的思维方法。在推理过程中，常常需要否定一些错误的可能性，去获得正确的结论。 解决这类问题常用的方法有：直接法；假设法；排除法；图解法；列表法和枚举法等。 逻辑推理问题的解决，需要我们深入地理解条件和结论，分析关键所在，找到突破口，进行合情合理的推理，最后做出正确的判断。 推理的过程，必须要有充足的理由和充分的依据。论证的才能不是天生的，而是在不断的实践活动中逐渐锻炼、培养出来的。 一、直接法 例 1 张、王、李三个工人，在甲、乙、丙三个工厂里分别当车工、钳工和电工，已知：（1）张不在甲厂；（2）王不在乙厂；（3）在甲厂的不是钳工；（4）在乙厂的是车工；（5）王不是电工，这三个人分别在哪个厂？干什么工作？ 【分析与解】此题可用直接法解答，即直接从特殊条件出发，再结合其他条件往下推，直到推出结论为止。 由条件（5）可知，王不是电工，那么王必是车工或钳工；由条件（2）可知，王不在乙厂，那么王必在甲厂或丙厂；又由条件（4）可知，在乙厂的是车工，所以王只能是钳工；又因为甲厂的不是钳工，则王必是丙厂的钳工；张不在甲厂，必在乙厂或丙厂，而王在丙厂，则张必在乙厂，是乙厂的车工，剩下的李是甲厂的电工。 所以，张是乙厂的车工，王是丙厂的钳工，李是甲厂的电工。 例2 A、B、C、D、E五人参加乒乓球比赛，每两人都要赛一场，并且只赛一场，规定胜者得2分，负者得0分。现在知道比赛结果是：A和B并列第一名；C 是第三名，D和E并列第四名，求C得多少分？ 【分析与解】我们从A和B并列第一名，D和E并列第四名的已知条件直接
逻辑命题与推理 必然性推理（演绎推理）：对当关系推理、三段论、复合命题推理、关系推理和模态推理 可能性推理：归纳推理（枚举归纳、科学归纳）、类比推理 命题 直言命题的种类：（AEIOae） ⑴全称肯定命题：所有S是P（SAP） ⑵全称否定命题：所有S不是P（SEP） ⑶特称肯定命题：有的S是P（SIP） ⑷特称否定命题：有的S不是P（SOP） ⑸单称肯定命题：某个S是P（SaP） ⑹单称否定命题：某个S不是P（SeP） 直言命题间的真假对当关系： 矛盾关系、（上）反对关系、（下）反对关系、从属关系 矛盾关系：具有矛盾关系的两个命题之间不能同真同假。主要有三组： SAP与SOP之间。“所有同学考试都几个了”与“有些同学考试不及格” SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格” SaP与SeP之间。“张三考试及格”与“张三考试不及格” 上反对关系：具有上反对关系的两个命题不能同真（必有一假），但是可以同假。即要么一个是假的，要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。 下反对关系：具有下反对关系的两个命题不能同假（必有一真），但是可以同真。即要么一个是真的，要么两个都是真的。存在于SIP与SOP、SeP与SIP、SaP与SOP之间。 从属关系（可推出关系）：存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP 六种直言命题之间存在的对当关系可以用一个六角图形来表示，“逻辑方阵图” SAP SEP SaP SeP
SIP SOP 直言命题的真假包含关系 全同关系、真包含于关系、真包含关系、交叉关系、全异关系 复合命题：负命题、联言命题、选言命题、假言命题 负命题的一般公式：并非P 联言命题公式：p并且q “并且、…和…、既…又…、不但…而且、虽然…但是…” 选言命题：相容的选言命题、不相容的选言命题 相容的选言命题公式：p或者q“或、或者…或者…、也许…也许…、可能…可能…” 【一个相容的选言命题是真的，只有一个选言支是真的即可。只有当全部选言支都假时，相容的选言命题才是假的】不相容选言命题公式：要么p要么q “要么…要么…、不是…就是…、或者…或者…二者必居其一、或者…或者…二者不可兼得” 【一个不相容的选言命题是真的，有且只有一个选言支是真的。当选言支全真或全假时，此命题为假】 假言命题：充分条件假言命题、必要条件假言命题、充要条件假言命题 充分条件假言命题公式：如果p，那么q“如果…就…、有…就有…、倘若…就…、哪里有…哪里有…、一旦…就…、假若…、只要…就…” 【有前件必然有后件。如果有前件却没有后件，这个充分条件假言命题就是假的。因此，对于一个充分条件的假言命题来说，只有当其前件真而后件假时，命题才假。】 必要条件假言命题公式：只有p，才q “没有…就没有…、不…不…、除非…不…、除非…才…” 【没有前件必然没有后件。如果没有前件也有后件，这个必要假言命题为假。对于一个必要条件的假言命题来说，只有当其前件假而后件真时，命题才假。】 充要条件假言命题公式：当且仅当p，才q 【有前件必然有后件，没有前件必然没有后件。充要条件假言命题在前件与后件等值即前件真并且后件真，或者前件假并且后件假时，命题为真，在前件与后件不等值即前真后假，或前假后真时，命题为假】 充分条件与必要条件之间可以相互转化：
判断推理常用公式 一、逻辑判断 并非(A或B)=非A且非B ?真假判断题型解题技巧 六种关系 矛盾关系(主体相同的两句话,必一真一假) ①某个S就是P,某个S不就是P; ②所有S都就是P,有的S不就是P;③所有的S都不就是P,有的S就是P; ④P且Q,非P或非Q。 ⑤P或Q,非P且非Q⑥如果P→Q,P→非Q(如果天下雨,路就滑) 反对关系 ⑤有的S就是P,有的S不就是P(至少有一真);⑥所有S都就是P,所有S都不就是P(至少有一假)。 包容关系 例: 所有A→B 所有老师都会英语A 校长会英语B ①一直前假如果题目问只有一个就是真的 分析,如果A真,B截然为真。与问题说的只有一真矛盾,哪么A一定为假 ②一假后真如果题目问只有一个就是假的 分析,如果B假,A截然为假。与问题说的只有一假矛盾,哪么B一定为真 二、翻译推理 1、单句判断 ①所有(凡就是)S都就是P 翻译S →P ②所有(凡就是)S都不就是P 翻译S →—P ③没有S就是P (所有S不就是P) 翻译P →—S 见没有改所有 ④没有S不就是P (所有S就是P) 翻译S →P ⑤不就是S都就是P 翻译—S →P ⑥不就是S都不就是P 翻译—S →—P
2、否定关系 1、并非所有A都就是B 等价于有的A不就是B (并非所有换成有的,就是换不就是) 2、并非有的A就是B 等价于所有A都不就是B (并非有的换成所有,就是换成不就是) 3、等价关系 1、所有的A都不就是B 等价于所有的B都不就是A 2、有的A就是B 等价于有的B就是啊 五个解题步骤 ①符号化;②找关系(六种关系);③推知其余项真假;④根据其余项真假,得出真实情况;⑤带回“矛盾或反对”项,判断其真假。 排列组合题型 1、选项信息充分,运用排除法, 2、选项不处分,找推理起点:信息最大优先,特殊信息优先 ■削弱题型方法: １、否因削弱 已知因果推理主线:因→果 否因削弱:强调原因不成立或起不到作用。 2、她因 已知推理主线:因→果 她因削弱:强调存在别的原因会导致该结果,或者导致不了该结果。 3、反例 已知推理主线:因→果 反例削弱:举出一个反例,即满足了“因”却没有得到所说的“果”。 4、因果倒置 已知推理主线:A、B两个现象同时出现→A导致了B 因果倒置:很有可能就是B导致了A。 ■假设、支持题型方法: 1、排她因 已知推理主线:因→果 排她因:排除其她因素的干扰,或排除其她可能性,使推理更可信。 2、否因否果 已知推理主线:因→果 否因否果:非因→非果,会支持“因→果” 3、建立联系 已知推理主线:因→果 建立联系:因果之间有跳跃,唯有建立联系才可行。 4、推论可行 已知推理主线:因→果 推论可行:因果之间有漏洞,需加前提才可行。 ■解释题型关键: 解题技巧:抓住需要解释的关键信息。 ■归纳题型技巧: 1、四项原则:从弱原则,整体原则,就近原则、协调原则
四计算命题演算公式的真值 一．实验题目 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。 （2）逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。 （3）根据用户的要求显示表达式的真值表。 二．实验设计 1. 设计思想 （1）数据结构设计 a 建立一个链式堆栈，实现括号的匹配问题。 b建立一个顺序堆栈，来实现中缀转后缀并实现二叉树的打印。 （2）算法设计 a.括号匹配 b中缀转后缀 c打印二叉树和真值表 2. 设计表示 自定义和调用的函数如下所示： #include"" #include"" #include<> #include<>
#include<> #include<> #include<> 函数说明如下 SeqStack1; /*定义一个堆栈SeqStack1*/ void StackInitiate1(SeqStack1 *S) /*初始化堆栈1，栈底为‘#’*/ void StackPush1(SeqStack1 *S,DataType x) /*将元素压入堆栈1*/ void StackPop1(SeqStack1 *S,DataType *x) /*弹出堆栈1的栈顶元素*/ int StackTop1(SeqStack1 S,DataType *d) /*取堆栈1的栈顶元素*/ SeqStack2; /*定义一个顺序堆栈SeqStack2*/ void StackInitiate2(SeqStack2 *S) /*初始化堆栈2*/ BiTreeNode * StackPop2(SeqStack2 *S) /*从堆栈2中弹出栈顶元素*/ BiTreeNode; /*定义二叉树的结点*/ void Initiate(BiTreeNode **root) /*初始化树的根结点*/ void print(BiTreeNode *bt,int n) /*逆时针打印二叉树*/ void StackPush2(SeqStack2 *S,BiTreeNode *x) /*将二叉树结点压入堆栈2*/ int Convert(char a[500],char b[500][100],SeqStack1 *S,int n) /*将待求表达式转换为后缀形式*/ BiTreeNode * BuildTree(char b[500][100],int n)/*根据表达式的后缀形式，构造相应的二叉树*/ LSNode; /*定义了链式堆栈用于下面检测表达式的括号匹配*/ void StackInitiate(LSNode** head) /*初始化堆栈*/ int StackNotEmpty(LSNode* head) /*检测堆栈是否为空的函数*/ int StackPush(LSNode* head,DataType x) /*将元素入栈*/
一、必然性推理概念间关系 直言命题的对当关系 直言命题的变形推理 三段论推理 联言命题与选言命题 假言命题 模态命题 智力推理 概念间关系（概念，是构成命题与推理的基础，只有表达了一类事物的词语才是概念） ①四种概念间关系（概念所表达的事物范围概念的外延） 全同关系（两个概念的外延完全相同） A B 全异关系（两个概念的外延完全不同，无重合） A B 交叉关系（两个概念的外延有重合部分，也有不重合部分） A B 真包含（于）关系 A B ②用概念间关系表示直言命题
直言命题（简单命题），是断定对象是否具有某种性质的单句 直言命题的对当关系（不同直言命题之间在真假方面所存在的制约关系） 所有A是B.......................反对..........................所有A不是B 推出推出 矛盾 有的A是B.........................下反对.............................有的A不是B “所有A是B”与“有的A不是B”、“.所有A不是B”与“有的A是B”必有一真一假 “所有A是B”与“.所有A不是B”必有一假（可以同假） “有的A不是B”与“有的A是B”必有一真（可以同真） 一个命题前面+“并非”=这个命题的矛盾命题 所有与有的互换，有“不”的去掉，没“不”的加上 直言命题的变形推理（通过改变前提中直言命题的联项或主项与谓项的关系结论） ①换质推理（换一种说法） 双重否定表示肯定 将“不是”改为“是”或将“是”改为“不是” ②换位推理（倒过来说）所有A是B 有些B是A 所有A不是B 所有B不是A
逻辑判断推理中常用的 逻辑公式 Document serial number【UU89WT-UU98YT-UU8CB-UUUT-UUT108】
逻辑命题与推理 必然性推理（演绎推理）：对当关系推理、三段论、复合命题推理、关系推理和模态推理 可能性推理：归纳推理（枚举归纳、科学归纳）、类比推理 命题 直言命题的种类：（AEIOae） ⑴全称肯定命题：所有S是P（SAP） ⑵全称否定命题：所有S不是P（SEP） ⑶特称肯定命题：有的S是P（SIP） ⑷特称否定命题：有的S不是P（SOP） ⑸单称肯定命题：某个S是P（SaP） ⑹单称否定命题：某个S不是P（SeP） 直言命题间的真假对当关系： 矛盾关系、（上）反对关系、（下）反对关系、从属关系 矛盾关系：具有矛盾关系的两个命题之间不能同真同假。主要有三组： SAP与SOP之间。“所有同学考试都及格了”与“有些同学考试不及格” SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格” SaP与SeP之间。“张三考试及格”与“张三考试不及格” 上反对关系：具有上反对关系的两个命题不能同真（必有一假），但是可以同假。即要么一个是假的，要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。 下反对关系：具有下反对关系的两个命题不能同假（必有一真），但是可以同真。即要么一个是真的，要么两个都是真的。存在于SIP与SOP、SeP与SIP、SaP与SOP之间。 从属关系（可推出关系）：存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP
六种直言命题之间存在的对当关系可以用一个六角图形来表示，“逻辑方阵图” SAP SEP SaP SeP SIP SOP 直言命题的真假包含关系 全同关系、真包含于关系、真包含关系、交叉关系、全异关系 复合命题：负命题、联言命题、选言命题、假言命题 负命题的一般公式：并非P 联言命题公式：p并且q “并且、…和…、既…又…、不但…而且、虽然…但是…” 选言命题：相容的选言命题、不相容的选言命题 相容的选言命题公式：p或者q“或、或者…或者…、也许…也许…、可能…可能…” 【一个相容的选言命题是真的，只有一个选言支是真的即可。只有当全部选言支都假时，相容的选言命题才是假的】 不相容选言命题公式：要么p要么q
. 命题逻辑 一、选择题（每题3分） 1、下列句子中哪个是命题？(C) A、你的离散数学考试通过了 吗？ B 、请系好安全带！ C、是有理数 D 、本命题是假的 2、下列句子中哪个不是命 题？(C) A、你通过了离散数学考试 B 、我俩五百年前是一家 C、我说的是真话 D 、淮海工学院是一座工厂 3、下列联接词运算不可交换的 是(C) A、B、 C 、 D 、 4、命题公 式P Q不能表述为(B) A、P或Q B 、非P每当QC、非P仅当Q D、除非P，否则Q 5、永真式的否定是(B) A、永真式 B 、永假 式 C 、可满足式 D 、以上答案均有可能 6、下列哪组赋值使命题公 式P(P Q)的真值为假(D) A、P假Q真 B、P假Q假C 、P真Q真D、P真Q假 7、下列为命题公式P (Q R)成假指派的是(B) A、100 B 、101 C 、110 D 、111 8、下列公式中为永真式的是(C) A、P(PQ) B、P (PQ) C、(PQ) Q D、(PQ)Q 9、下列公式中为非永真式的是(B) A、(P P) Q B、(P P) Q C、P(P Q) D、P(PQ) 10、下列表达式错误的是(D) A、P(PQ) P B 、P(PQ) P C、P(PQ)PQ D 、P(PQ)PQ 11、下列表达式正确的是(D) A、PPQ B、PQP C、Q (P Q) D、(PQ)Q 12、下列四个命题中真值为真的命题为(B) （1）2 2 4当且仅当3是奇数（2）2 2 4 当且仅当3不是奇数； （3）2 2 4当且仅 当3是奇数（4）2 24当且仅当3不是奇数 A、（1）与（2） B 、（1）与（4）C、（2）与（4） D 、（3）与（4） 13、设P：龙凤呈祥是成语，Q：雪是黑的，R：太阳从东方升起，则下列假命题为(A) A、P Q R B 、Q P S C、P Q R D 、Q P S 14、设P：我累，Q：我去打球，则命题：“除非我累，否则我去打球”的符号化为（ B ） A、PQ B 、P Q C、PQ D、P Q 15、设P：我听课，Q：我睡觉，则命题“我不能一边听课，一边睡觉”的符号化 为(B) A、PQ B 、P QC、PQ D、P Q 提示：(P Q) P Q 16、设P：停机；Q：语法错误；R：程序错误， 则命题“停机的原因在于语法错误或程序错误”的符号化为（ D） A、PQR B、P QR C、QRP D、QRP 17、设P：你来了；Q：他唱歌；R：你伴奏 则命题“如果你来了，那末他唱不唱歌将看你是否伴奏而的符号化为（D ）
逻辑判断推理技巧大全 一、演绎推理 1. 指的是通过一些的前提来论证从而推断出某个结论。 2. 基本原则：头脑清空原则（按人家来，不要按自己的来） 题设为真原则（人家题设说的是绝对不可怀疑的） 形式统一原则 3. 解题步骤：（1）看问题，定题型； （2）看题目，做简化； （3）据技巧，得答案。 4. 演绎推理的分类： （1）论证类 ——加强论证型 ——减弱论证型 （2）结论类 ——形式推理结论类：侧重规则的考察 ——日常推理结论类：侧重脉络的考察 （一）形式推理结论类 1. 分类：有真有假型；翻译推理型（强调对于肯定确定信息的认识）；排列组合型（匹配型的题型）；集合运算型（很像数学的一种题型） 2. 有真有假型： （1）首先看矛盾；其次看包容；然后看反对；最后带题中（实在不行就代入排
除法） （2）矛盾关系：必然一真一假，两者构成整个全集，如生和死； ——A：其矛盾关系为否A A且B：其矛盾关系为否（A且B）即否A或否B A或B：其矛盾关系为否（A或B）即否A且否B A能够推出B：其矛盾关系为A且否B 所有：其矛盾关系为有的不 必然：其矛盾关系为可能不 ——即首先要寻找矛盾关系，然后根据题目中的真假结论来得出其他几个关系的真假，从而得出相应的最后答案 ——能用在很多地方，不光是在这里。比如说在后来的削弱关系中，矛盾是最强的削弱关系 ——构成矛盾关系的主体一定相同，这是观察矛盾关系的一个重要判断指标。（3）包容关系： ——当不能发现矛盾关系时，我们就要看包容关系，即寻找看几个关系之间是否存在包容。 ——即要寻找包容关系，几个关系如果为包容关系，则他们同时为真或为假（这和矛盾关系刚好相反），然后根据题目中的真假结论来得出其他几个关系的真假，从而得出相应的最后答案。 ——若A能推出B：则包容关系为若A为真则B为真+若B为假则A为假 只有一真，则A必为假——即“一真前假” 只有一假，则B必为真——即“一假后真”
逻辑常识（逻辑学习总体把握） 一、逻辑推理 是指由一个或几个已知的判断推导出另外一个新的判断的思维形式。一切推理都必须由前提和结论两部分组成。一般来说，作为推理依据的已知判断称为前提，所推导出的新的判断则称为结论。推理大体分为直接推理和间接推理。 （一）直接推理 只有一个前提的推理叫直接推理。 例如：有的高三学生是共产党员，所以有的共产党员是高三学生。 （二）间接推理 一般有两个或两个以上前提的推理就是间接推理。 例如：贪赃枉法的人必会受到惩罚，你们一贯贪赃枉法，所以今天你们终于受到法律的制裁和人民的惩罚。 一般说，间接推理又可以分为演绎推理、归纳推理和类比推理等三种形式。 （1）演绎推理 所谓演绎推理，是指从一般性的前提得出了特殊性的结论的推理。 例如：贪赃枉法的人是必定会受到惩罚的，你们一贯贪赃枉法，所以，你们今天是必定要受到法律的制裁、人民的惩罚的。 这里，“贪赃枉法的人是必定会受到惩罚的”是一般性前提，“你们一贯贪赃枉法”是特殊 性前提。根据这两个前提推出”你们今天是必定要受到法律的制裁和人民的惩罚的”这个 特殊性的结论。 演绎推理可分为三段论、假言推理和选言推理。 a三段论 b假言推理 c选言推理 （2）归纳推理 归纳推理是从个别到一般，即从特殊性的前提推出普遍的一般的结论的一种推理。 一般情况下，归纳推理可分为完全归纳推理、简单枚举归纳推理。 a完全归纳推理 也叫完全归纳法，是指根据某一类事物中的每一个别事物都具有某种性质，推出该类事物普遍具有这种性质的结论。 正确运用完全归纳推理，要求所列举的前提必须完全，不然推导出的结论会产生错误。 例如：在奴隶社会里文学艺术有阶级性；在封建社会里文学艺术有阶级性；在资本主义社会里文学艺术有阶级性；在社会主义社会里文学艺术有阶级性；所以，在阶级社会里，文学艺术是有阶级性的。（注：奴隶社会、封建社会、资本主义社会、社会主义社会这四种社会形态构成了整个阶级社会。） b简单枚举归纳推理 是根据同一类事物中部分事物都具有某种性质，从而推出该类事物普遍具有这种性质的结论。这是一种不完全归纳推理。但是，这种推理通常仅考察了某类事物中部分对象的性质就得出了结论，所以结论可
判断推理知识点梳理． 判断推理知识点梳理（念卿児）一、总知识体系逻辑判断。1. 类比推理。2.
图形推理。3. 定义判断。4. 二、逻辑判断知识点（一）翻译推理假言命题1.
）关联词替换表达2（。。就。。。。就。。前推后：如果。。。就。。；只要。。。。；要。① 。。后推前：只有。。才。。。。。；除非。。。否则不②离不开///不明确：必不可少必须基础、前提必要条件/③“不能没有的项”放在“→”后边2.联言命题与选言命题 （2）德摩根定律B 且﹣=﹣A ﹣（A或B）①B 或﹣﹣AB且﹣（A）=②（二）集合推理三个换位个基本
2.1.4 。（单项不可逆）1（）所有的S都是P。（1）有的P是S=>（双项可逆））所有的（2）所有的S都不是P。（2P都不是S。<=>（双项可逆））有的S是P。（3）有的P是S。（3<=>）不让换。有的（4）S不是P。×（4 两个推出3. 。是都是P。 SP。 S是P（1）所有的S有的=> => 某个 。。。 S不是P S不是P（2）所有的S都不是P有的=> 某个=> （箭头方向不可逆）某个所有有的=> => 一个递推4. C →B→C， AA（1）递推公式：→B，=> 2（）成立条件：“B”必须指“所有”（三）真假判断，关键是“其余” 首先找“矛盾”必有一真，必有一假&矛盾关系：（四）论证类 1.论证的基本结构及思路（1）找论点引导词：因此、所以、认为、观点是、建议、倡
导、表明、说明、结果是。。。①首尾句原则② 2）表立场（ => 削弱加强反对支持 => ②①）根据强度选答案（3 本身方法的强弱关联性②①加强论证类2. 最强☆☆☆☆☆）搭桥：建构联系1（． （2）排除他因：加强可能性控制变量A无B有（3）对比试验：有AB，无4）加强论据：（解释原因举例子加强原有论据：/①补充新论据② 。部分重复/同义转换（5）重复论点： 3.削弱论证类最强 ☆☆☆☆☆（1）因果倒置☆☆☆☆☆最强）否论点（否前提）（2 特点：不能没有次强）拆桥 ☆☆☆（3 次强）对比试验：☆☆☆（4 A无B，有有A有B①控制变量有B 有A有B，无A ②最弱☆（5）另有他因（6）否论据：☆最弱
1.7 推 理 理 论 从假设前提利用推理规则得到其他命题，即形成结论的过程就是推理，这是研究逻辑的主要目标。 1.7.1 蕴含与论证 1．推理的含义与形式 [定义1-22] 当且仅当p →q 为永真式时，称为p 蕴含q （logical implication ），记作p q ?，或p q 。此时，称p 为前提，q 为p 的有效结论或逻辑结论，也称为q 可由p 逻辑推出。得出此逻辑关系的过程称为论证。 [辨析] 由于仅在p 为1而q 为0时公式p q →为0，可见，p q →永真意味着不可能存在前件p 为1而后件q 为0的情况，或者说，若p q ?，则只要前件p 为1，后件q 也一定为1。因此，p q ?也称为“永真蕴含” ，即p 永真蕴含q 。 [延伸] 通常，定理（theorem ）被解释为“经过受逻辑限制的证明为真的陈述”，就是指对“在一定条件成立的情况下必然产生某个（些）结论”的陈述。因此，定理证明也就是对蕴含关系的论证。当然，通常只有重要或有趣的陈述才被视为定理。 所有逻辑推理的实质就是证明p q ?，也就是证明p q →为永真式。例如，以下是一个简单的初等数学证明题目： 已知a 、b 、c 为实数，且22a b bc -=，0c ≠，则有2/(/1)a c b b c =+。 如果记 p ：22a b bc -=，q ：0c ≠，r ：2/(/1)a c b b c =+ 则上述论证要求可描述为： p q r ∧? 证明的目的就是说明：若前提p q ∧正确，则结论r 也正确，即证明p q r ∧→为永真式。 通常的逻辑推理问题都会由一组前提来推断一个逻辑结论，此时的多个前提可写成合取式12n H H H ∧∧∧ ，或写成用逗号分隔的命题序列H 1, H 2, ..., H n ，即论证要求可写作： 12n H H H C ∧∧∧? ，或12,...,n H H H C ?，，或 12n H H H C ∧∧∧ ，或12,...,,n H H H C 可见，论证A C 、A C ?或A C →是永真式都是同义的，且前提也可以用集合表示，如： 12{,..,},.n H H H C 在数学上，总是要求前提为真，从而推导出有效的结论，并不需要研究从假的前提能得到什么结论，且推理形式与前提的排列次序无关。尽管由前提A 到结论C 的推理一般记作A C ，如
判断推理逻辑判断 The latest revision on November 22, 2020
一、必然性推理概念间关系 直言命题的对当关系 直言命题的变形推理 三段论推理 联言命题与选言命题 假言命题 模态命题 智力推理 概念间关系（概念，是构成命题与推理的基础，只有表达了一类事物的词语才是概念） ①四种概念间关系（概念所表达的事物范围概念的外延） 全同关系（两个概念的外延完全相同） A B 全异关系（两个概念的外延完全不同，无重合） A B 交叉关系（两个概念的外延有重合部分，也有不重合部分） A B 真包含（于）关系 A B ②用概念间关系表示直言命题 直言命题（简单命题），是断定对象是否具有某种性质的单句 直言命题的对当关系（不同直言命题之间在真假方面所存在的制约关系） 所有A是B.......................反对..........................所有A不是B 推出推出 矛盾 有的A是B.........................下反对.............................有的A不是B “所有A是B”与“有的A不是B”、“.所有A不是B”与“有的A是B”必有一真一假 “所有A是B”与“.所有A不是B”必有一假（可以同假） “有的A不是B”与“有的A是B”必有一真（可以同真） 一个命题前面+“并非”=这个命题的矛盾命题 所有与有的互换，有“不”的去掉，没“不”的加上 直言命题的变形推理（通过改变前提中直言命题的联项或主项与谓项的关系结论） ①换质推理（换一种说法） 双重否定表示肯定 将“不是”改为“是”或将“是”改为“不是” ②换位推理（倒过来说）所有A是B 有些B是A 所有A不是B 所有B不是A 有些A是B 有些B是A
逻辑判断推理解题技巧 逻辑判断是国考试每年必考的题型之一，主要考查的是应试人员对文字材料的理解、演绎和归纳。解答时必须严格依据题干所给条件进行推理，不能附加任何说明。 逻辑判断可以分为两类：必然性推理和可能性推理，其中必然性推理在考试中主要体现为命题推理和智力推理两类题目。现国考以可能性推理作为考试重点，但是必然性推理也是每年的必考题型，下面对必然性推理中智力推理的考情和一些解题技巧进行分析。 近几年国家公务员考试中智力分析每年出现1-2题不等。智力分析题形式、题材都变化较多，没有统一模式，但常见的有以下五种题型：真假型、排序性、匹配性、数学型、其他型。 一、真假型 真假型题目的特点为题干给出几句话或者几句描述，但未指出其真假情况，要求根据所给条件进行推理。 【例题】（2012·国家）张老师将文房四宝装在一个有四层抽屉的柜子里，让学生猜笔、墨、纸、砚分别在哪一层。按照笔、墨、纸、砚的顺序，小李猜测四宝依次装在第一、二、三、四层，小王猜测四宝依次装在第一、第三、第四和第二层，小赵猜测四宝依次装在第四、第三、第一和第二层，而小杨猜测四宝依次装在第四、第二、第三和第一层。张老师说，小赵一个都没猜对，小李和小王各猜对了一个，而小杨猜对了两个。 由此可以推测： A. 第一层抽屉里装的是墨 B. 第二层抽屉里装的是纸 C. 第三层抽屉里装的不是笔 D. 第四层抽屉里装的不是砚 解析：根据题干信息可以画图表如下： 由上表，显然几人的猜测有一致之处，再由张老师说的话继续完善表格进行推理。由“小赵全部猜错”，可知其他几个人猜测的跟小赵一样的也全部错误，即下图阴影部分都是错的。 又由于小杨和小李对于墨和纸的猜测相同（如上图圆圈圈示），且小李只对1个，而小杨只
逻辑判断 为了便于考生掌握考点,有效地管理与调用相关的常识、方法与技巧,本书根据试题常见的考点,首先提供几个好理解、易操作的快读、快解方法,提高考生的应试能力。这些快读、快解方法,都就是针对历年公务员考试的考点与题型积累起来的经验与技巧,在应试中十分重要。当然,当了解必要的逻辑常识后,这些方法的应用就更为灵活。 一快读快解应用篇 ——真题考点经验精选 快读快解口诀集锦 条件有矛盾真假好分辨 对应关系杂排除做首选 具体有疑问果断选宏观 可能不推“必”部分不推“全” 选项要证据直观就是答案 强弱相比较选最才保险 概念有内涵当心被偷换 分析必弄清论据与论点 发现联结词规则用在先 分析巧运用解题思路宽 口决部分解说: 1、条件有矛盾真假好分辨 公务员考试中有这样的试题: 试题1: 某仓库失窃,四个保管员因涉嫌而被传讯。四人的供述如下: 甲:我们四人都没作案; 乙:我们中有人作案;
丙:乙与丁至少有一人没作案; 丁:我没作案。 如果四人中有两人说的就是真话,有两人说的就是假话,则以下哪项断定成立? A.说真话的就是甲与丁 B.说真话的就是乙与丙 c.说真话的就是甲与丙 D.说真话的就是乙与丁 这就是典型的利用分析矛盾解析的试题。历年至今,在全国各地公务员考试中屡不鲜。解析这类试题,关键要找到条件之间的逻辑矛盾,然后真假自明。 什么就是逻辑矛盾？简明地说,两个不同的断定,必有一个真,一个假。比如:“这马就是白的”与“这马不就是白的”就构成了逻辑矛盾。两者不能同真也不能同假。而“这马就是白的”与“这马就是黄的”就不就是逻辑矛盾。虽然它们不能同真,但有可能都就是假的——如果它就是一匹红色的马呢？ 了解了这些常识,可以利用分析矛盾的方法,解答上题。 [解析] 1)四人中,两人诚实,两人说谎。 2)甲与乙的话有矛盾！ 甲:我们四人都没作案; 乙:我们中有人作案; 可断定:甲与乙两人一个诚实一个撒谎。剩余丙、丁两人中也必然就是一 个诚实一个撒谎。 3)假设:丁说的就是真话,那么,可推出丙说的话也真啊！ 丙:乙与丁至少有一人没作案; 丁:我没作案。 显然,丁说真话不成立,于就是推出:丁说假话,丙说真话。 4)断定了丁说假话,就推出甲说的也就是假话,乙说真话。 答案B。即:说真话的就是乙与丙。 试题2: 军训最后一天,一班学生进行实弹射击。几位教官谈论一班的射击成绩。 张教官说:“这次军训时间太短,这个班没有人射击成绩会就是优秀。” 孙教官说:“不会吧,有几个人以前训练过,她们的射击成绩会就是优秀。” 周教官说:“我瞧班长或就是体育委员能打出优秀成绩。” 结果发现三位教官中只有一人说对了。 由此可以推出以下哪一项肯定为真( )？ A、全班所有人的射击成绩都不就是优秀。 B、班里有人的射击成绩都就是优秀。 C、班长的射击成绩就是优秀。 D、体育委员的射击成绩不就是优秀。
直言命题 所有的都是上反对 必有一假 所有的都不是包 容矛盾 包 容 有的是必有一真 下反对有的不是 所有的A是B 上反对 必有一假 所有的A都不是B 包 容矛盾 包 容 有的A是B 必有一真 下反对有A的不是B 三段论 A→B B→C A→B 有的B是C A→C 有的C是B —B →—A 逆否（A→B的矛盾关系A∧—B）A→B 有的A→B 有的B→A —A∨B B→C
充分假言：前推后（A推B），肯前肯后，否后否前 如果A，那么B；只要A，就B 若A，则B 所有A，是B 凡是A，是B 为了A，一定B 为了A，必须B A指的就是B 除非不A，否则B 必要假言B推A 只有A，才B 没有A，就没有B 不A，不B 除非A，否则不B A是B的前提，保障，基础，条件/谁是条件谁在后 选言命题 P、Q √ 相容性P∨Q —P、Q √ P、—Q √ 选言—P、—Q × 不相容性P∕Q 要么P要么Q 不是P就是Q P∨Q的矛盾命题—（P∨Q）→—P ∧—Q P∨Q= —P →Q —Q →P P∨Q 排中律排除一个选中一个必须先排 —A∨B = A→B （鲁宾逊定律） —A∨B的矛盾命题是A∧—B A→B的矛盾命题是A∧—B
模态命题 必然P 上反对 必有一假 必然非P 包 容矛盾 包 容 可能P 必有一真 下反对可能非P 模态命题的具体关系 “并非必然P”等值于“可能非P”，即：不必然=可能不；“并非必然非P”等值于“可能P”，即：不必然不=可能；“并非可能P”等值于“必然非P”，即：不可能=必然不；“并非可能非P”等值于“必然P”，即：不可能不=必然； 模态命题与非模态命题的推出关系 必然P→P →可能P ; 必然非P →非P→可能非P