逻辑推理公式
直言命题
所有的都是上反对
必有一假
所有的都不是包
容矛盾
包
容
有的是必有一真
下反对有的不是
所有的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
逻辑命题公式计算
题号：第一题 题目：电梯模拟 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 张、王、李三个工人，在甲、乙、丙三个工厂里分别当车工、钳工和电工，已知：（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 【有前件必然有后件，没有前件必然没有后件。充要条件假言命题在前件与后件等值即前件真并且后件真，或者前件假并且后件假时，命题为真，在前件与后件不等值即前真后假，或前假后真时，命题为假】 充分条件与必要条件之间可以相互转化：
逻辑推理方法
逻辑关系方正图 反对关系：不同真可同假 下反对关系：可同真不同假 差等关系：上真下真，下假上假，其余不定 矛盾关系：一真一假 相容选言推理有两条规则： 规则1：否定一部分选言支，就要肯定另一部分选言支。 规则2：肯定一部分选言支，不能否定另一部分选言支。 根据规则，相容选言推理只有一个正确的形式，即否定肯定式：p或者q 非p ___________ 所以，q 或者 p或者q 非q ___________ 所以，p 例如： 不相容选言推理有两条规则： 规则1：否定一部分选言支，就要肯定另一部分选言支。
规则2：肯定一部分选言支，就要否定另一部分选言支。 根据规则，不相容选言推理有两个正确的形式： （1）否定肯定式 要么p，要么q 非p ___________ 所以，q （2）肯定否定式 要么p，要么q p ___________ 所以，非q 充分条件假言推理有两条规则： 规则1：肯定前件，就要肯定后件；否定前件，不能否定后件。 规则2：否定后件，就要否定前件；肯定后件，不能肯定前件。根据规则，充分条件假言推理有两个正确的形式： （1）肯定前件式 如果p，那么q p ___________ 所以，q （2）否定后件式 如果p，那么q 非q ___________ 所以，非p 例如： 必要条件假言推理有两条规则： 规则1：否定前件，就要否定后件；肯定前件，不能肯定后件。 规则2：肯定后件，就要肯定前件；否定后件，不能否定前件。根据规则，必要条件假言推理有两个正确的形式： （1）否定前件式 只有p，才q 非p ___________ 所以，非q （2）肯定后件式
公务员考试判断推理常用公式
判断推理常用公式 一、逻辑判断 并非(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、四项原则:从弱原则,整体原则,就近原则、协调原则
命题逻辑的推理理论(牛连强)
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 ，如
逻辑推理理论(简明汇总)
逻辑常识（逻辑学习总体把握） 一、逻辑推理 是指由一个或几个已知的判断推导出另外一个新的判断的思维形式。一切推理都必须由前提和结论两部分组成。一般来说，作为推理依据的已知判断称为前提，所推导出的新的判断则称为结论。推理大体分为直接推理和间接推理。 （一）直接推理 只有一个前提的推理叫直接推理。 例如：有的高三学生是共产党员，所以有的共产党员是高三学生。 （二）间接推理 一般有两个或两个以上前提的推理就是间接推理。 例如：贪赃枉法的人必会受到惩罚，你们一贯贪赃枉法，所以今天你们终于受到法律的制裁和人民的惩罚。 一般说，间接推理又可以分为演绎推理、归纳推理和类比推理等三种形式。 （1）演绎推理 所谓演绎推理，是指从一般性的前提得出了特殊性的结论的推理。 例如：贪赃枉法的人是必定会受到惩罚的，你们一贯贪赃枉法，所以，你们今天是必定要受到法律的制裁、人民的惩罚的。 这里，“贪赃枉法的人是必定会受到惩罚的”是一般性前提，“你们一贯贪赃枉法”是特殊 性前提。根据这两个前提推出”你们今天是必定要受到法律的制裁和人民的惩罚的”这个 特殊性的结论。 演绎推理可分为三段论、假言推理和选言推理。 a三段论 b假言推理 c选言推理 （2）归纳推理 归纳推理是从个别到一般，即从特殊性的前提推出普遍的一般的结论的一种推理。 一般情况下，归纳推理可分为完全归纳推理、简单枚举归纳推理。 a完全归纳推理 也叫完全归纳法，是指根据某一类事物中的每一个别事物都具有某种性质，推出该类事物普遍具有这种性质的结论。 正确运用完全归纳推理，要求所列举的前提必须完全，不然推导出的结论会产生错误。 例如：在奴隶社会里文学艺术有阶级性；在封建社会里文学艺术有阶级性；在资本主义社会里文学艺术有阶级性；在社会主义社会里文学艺术有阶级性；所以，在阶级社会里，文学艺术是有阶级性的。（注：奴隶社会、封建社会、资本主义社会、社会主义社会这四种社会形态构成了整个阶级社会。） b简单枚举归纳推理 是根据同一类事物中部分事物都具有某种性质，从而推出该类事物普遍具有这种性质的结论。这是一种不完全归纳推理。但是，这种推理通常仅考察了某类事物中部分对象的性质就得出了结论，所以结论可
计算命题演算公式的真值
四计算命题演算公式的真值 一．实验题目 所谓命题演算公式是指由逻辑变量（其值为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) /*将元素入栈*/
逻辑判断推理中常用的逻辑公式
逻辑判断推理中常用的 逻辑公式 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. 某公安人员需查清甲、乙、丙三人谁先进办公室，三人口供如下：甲：丙第二个进去，乙第三个进去。乙：甲第三个进去，丙第一个进去。丙：甲第一个进去，乙第三个进去。三人口供每人仅对一半，究竟谁第一个进办公室？ 分析（用同一律思路推理）；这一类问题具有非此即彼的特点。比如甲是否是第一个进办公室只有两种可能：是或非。我们用1表示“是”，0表示“非”，则可把口供列表处理。（1）若甲第一，则依据丙的口供见左表，这个表与甲的口供仅对一半相矛盾；（2）若甲非第一，则依据丙的口供，乙第三个进去，进行列表处理如右表，与“三人口供仅对一半”相符。从而可以判定，丙最先进入办公室。这个问题也可以不列表而用同一律推理。甲的话第一句对，第二句错，则丙第二，乙不是第三，又不是第二，自然乙第一，甲第二，这个结论与丙说的话“半对半错”不符。因此，有甲的第一句错，第二句对。即乙第三个进去，丙不是第二个，自然是第一个。这个结论与乙的话“半对半错”相符：甲不是第三，丙是第一。并且这个结论与丙的话“半对半错”也相符：甲不是第一，乙是第三。在整个思维过程中，我们对三人的话“半对半错”进行了一一验证，直到都符合题目给定的条件为止。 例2. 从前一个国家里住着两种居民，一个叫宝宝族，他们永远说真话；另一个叫毛毛族，他们永远说假话。一个外地人来到这个国家，碰见三位居民，他问第一个人：“请问你是哪个民族的人？”“匹兹乌图。”那个人回答。外地人听不懂，就问其他两个人：“他说的是什么意？”第二个人回答：“他说他是宝宝族的。”第三个人回答：“他说他是毛毛族的。” 请问，第一个人说的话是什么意思？第二个人和第三个人各属于哪个民族？ 分析（用同一律思路思考）：如果第一个人是宝宝族的，他说真话，那么他说的是“我是宝宝族的”。如果这个人是毛毛族的，他说假话，他说的还是“我是宝宝族的”。这就是说，第一个人不管是什么民族的，那句话的意思都是：“我是宝宝族的”。根据这一推理，那么第二个人回答“他说他是宝宝族的”这句话是真的，而从条件可知，说真话的是宝宝族人，因此可以判断第二个人是宝宝族人。不管第一个人是什么民族的，根据前面推理已知他说的话是“我是宝宝族的”，而第三个人回答“他说他是毛毛族的”显然是错的，而说假话的是毛毛族人，因此可以断定第三个人是毛毛族人 我们在分析本题时，始终保持了思维前后的一致性，这就是同一律思路的具体运用。 【不矛盾律思路】不矛盾律的形式是“甲不是非甲”。它的基本内容是：同一对象，在同一时间内和同一关系下，不能具有两种互相矛盾的性质，它是逻辑推理的又一重要规律，运用不矛盾律来推理、思考某些问题的解答，这种思路我们把它叫做不矛盾律思路。 例1.有三个和尚，一个讲真话，一个讲假话，另外一个有时讲真话，有时讲假话。一天，一位智者遇到这三个和尚，他先问左边的那个和尚：“你旁边的是哪一位？”和尚回答说
五年级奥数：逻辑推理(一)-假设法
逻辑推理（一）假设法 假设法推理的基本方法是：先对所给定的诸多条件中的某一个条件假设它是正确的，然后结合其他条件进行合理的推理及判断，如果推理导致矛盾，说明原假设不正确，需要重新提出一个假设，再进行合情的推理，……，直到得出的结论与提供的假设及所有的条件没有矛盾发生.如此逐一检查所有的条件，直到全部问题解决为止.假设法常与枚举法结合使用. 例1地理课上老师挂出一张没有注明省份的中国地图.其中有5个省份分别编上了数字1～5号，请同学们写出每个编号是哪一省. A答：2号是陕西，5号是甘肃； B答：2号是湖北，4号是山东； C答：1号是山东，5号是吉林； D答：3号是湖北，4号是吉林； E答：2号是甘肃，3号是陕西. 这5名同学每人都只答对了一个省，并且每个编号只有一个人答对.问从1号到5号各是哪个省？ 随堂练习1明明、亮亮、强强三人在社区运动场上踢足球，不小心将王老师家的玻璃窗打碎了.当王老师问他们是谁打碎了玻璃窗时，明明说：“是亮亮打的.”亮亮说：“不是我打的.”强强也说：“不是我打的.”经调查知，他们三人中只有一个人讲了实话.请问到底是谁打碎了玻璃窗？ 例2 A、B、C、D、E五人参加围棋赛，四位观战者预测了结果.甲说：“E第3，A第4.”乙说：“A第3，B第1.”丙说：“B第4，E第2.”丁说：“D第1，C第3.”实际结果是每人只猜对了一个.参赛五人没有并列名次，所以一定是 第1，第2，第3，第4，第5.
随堂练习2小张、小王、小李、小赵同时参加一次数学竞赛，赛后，小张说：“小李得第一名，我得第三名.”小王说：“我得第一名，小赵得第四名.”小李说：“小赵得第二名，我得第三名.”小赵没有说话.成绩揭晓时，发现他们每个人的话都只说对了一半.请问，他们四个人的名次到底是怎样的？ 例3刘红、陈明、李小明三人各有一些苹果. 刘红说：“我有22个苹果，比陈明少2个，比李小明多一个.” 陈明说：“我的苹果数不是最少的，李小明和我的苹果数差3个，李小明有25个苹果.” 李小明说：“我比刘红苹果少，刘红有23个苹果，陈明比刘红多3个苹果.” 他们每人说的三句话中，都有一句是错话.请问：他们各有多少苹果？ 随堂练习3教室里有一只装苹果的纸箱，甲、乙、丙三人对箱中苹果数进行估计.甲说：“箱中至少有20个苹果.”乙说：“箱中的苹果数不到20个.”丙说：“箱中最少有一个苹果.”我们知道三个估计中只有一个估计是正确的，请问这只纸箱中究竟装了多少苹果？ 例4有一次智力大奖赛，最后一关是要闯“胜、负”门的关.有两座门，一座是生命门，一座是死亡门.小强过五关斩六将已战胜数位高手，仅剩他一人胜出，过最后一关.他只要能通过两座门中的生命门，他将最后胜出获大奖，如果过不了生命门，那将会前功尽弃.最后一关是这样的：两扇门前都站着一名士兵，这两位士兵都知道哪个门是生命门，哪个门是死亡门，然而他们中的一个人总说假话，另一个总说实话.然而小强并不知这两个士兵哪位说真话，哪位说假话.他在选择这两个门通过前只能问这两个士兵中的某一个人一个问题，以便决定他通过哪个门（这两扇门上没有任何标记，外形完全相同）. 请问，小强问一个什么样的问题就能确保选择了生命门从而确保大奖呢？
演绎推理经典14种方法20例题详解
演绎推理经典14种方法20例题详解 一、矛盾关系的推理 矛盾关系是指两个语句或命题之间不能同真（必有一假），也不能同假（必有一真）。 不能同真，就是说当其中一个命题真时，另一个命题必假；不能同假，就是说当其中一个命题假时，另一个命题必真。例如，“我们单位所有职工都买了保险”与“我们单位有些职工没有买保险”之间是矛盾关系，“我们单位所有职工都没有买保险”与“我们单位有些职工买了保险”之间也是矛盾关系，“张云是总经理”与“张云不是总经理”之间也具有矛盾关系。 根据直言命题之间的矛盾关系必有一真，必有一假，我们可以求解一些问题。 例题1 莎士比亚在《威尼斯商人》中，写富家少女鲍细娅品貌双全，贵族子弟、公子王孙纷纷向她求婚。鲍细娅按照其父遗嘱，由求婚者猜盒定婚。鲍细娅有金、银、铅三个盒子，分别刻有三句话，其中只有一个盒子，放有鲍细娅肖像。求婚者通过这三句话，猜中鲍细娅的肖像放在哪只盒子里，就嫁给谁。三个盒子上刻的三句话分别是： （1）金盒子：“肖像不在此盒中。” （2）银盒子：“肖像在铅盒中。” （3）铅盒子：“肖像不在此盒中。” 鲍细娅告诉求婚者，上述三句话中，最多只有一句是真的。如果你是一位求婚者，如何尽快猜中鲍细娅的肖像究竟放在哪一个盒子里？ A．金盒子。B．银盒子。C．铅盒子。D．要么金盒子要么银盒子。E．不能确定。 例题2
某珠宝店失窃，甲、乙、丙、丁四人涉嫌被拘审。四人的口供如下： 甲：案犯是丙。 乙：丁是罪犯。 丙：如果我作案，那么丁是主犯。 丁：作案的不是我。 四个口供中只有一个是假的。 如果上述断定为真，那么以下哪项是真的？ A．说假话的是甲，作案的是乙。B．说假话的是丁，作案的是丙和丁。 C．说假话的是乙，作案的是丙。D．说假话的是丙，作案的是丙。 E．说假话的是甲，作案的是甲。 二、三段论 三段论就是指由三个命题构成的推理。具体说来，三段论是由包含着一个共同因素（逻辑中介）的两个命题推出一个新的命题的推理。例如： 所有阔叶植物都是落叶的， 所有葡萄树都是阔叶植物， 所以，所有葡萄树都是落叶的。 上述推理中的共同因素就是“阔叶植物”。进行三段论推理，关键就是要看这个共同因素能否把两个前提连接起来推出结论。如果连接不起来，则三段论就是错误的。例如，英雄难过美人关， 我难过美人关， 所以，我是英雄。
命题逻辑中几种常见的推理证明方法
ljlj 逻 辑 学 论 文 数学科学学院 09级3班 吴洁琼 学号2009040288
命题逻辑中几种常见的推理证明方法 吴洁琼 哈尔滨师范大学 （黑龙江·哈尔滨 150025） 【摘 要】：命题逻辑的推理证明是《离散数学》课程的重点难点内容，其主要原因有两个： 一是内容比较抽象且方法较独特，其灵活性很大, 故很难掌握；二是题型以证明题居多, 大多数题的知识面涉及较广, 故习题较难。而命题逻辑又是数理逻辑的基础, 熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点, 又会为进一步学习谓词逻辑打下良好的基础。本文结合适当的例题讲解，总结了命题逻辑中几种常见的推理证明方法，并进行了分析和探讨,以加深学生的理解，以及知识的灵活使用。 以期在帮助学生掌握命题逻辑的推理证明方法的同时, 又能对学生进行逻辑思维能力的训练,培养学生分析问题和解决问题的能力。 【关键词】：命题逻辑；推理；证明方法 数理逻辑是《离散数学》课程的主要内容之一，它主要包括命题逻辑和谓词逻辑两大部分, 而命题逻辑又是谓词逻辑的基础,其中的内容也比较抽象，所以学好命题逻辑又是学好数理逻辑的关键。学好数理逻辑既能加强学生的逻辑思维能力，又同时能够帮助同学学习数字电路和人工智能等其它课程。数理逻辑中关于命题逻辑证明题比较多，学好数理逻辑的关键是能不能很好的掌握这些证明题。 一、命题逻辑中推理的相关概念 定义1：一个命题公式序列1α，2α， ，n α；β，即βααα→ΛΛΛ)(21n 称为推理形式，其中序列最后一项β称为推理的结论，1α，2α， ，n α称为推理的条件。 定义2：对于命题公式序列1α，2α， ，n α；β的命题变元组);,,,(21p p p p n 的任意指派);,,,(21t t t t n 存在使n αααΛΛΛ 21为真，而β为假，则称此推理为无效推理，否则是有效推理。 证明命题公式β为有效结论的过程就是命题逻辑推理证明的过程。而证明推理形式1α， 2α， ，n α；β是有效的充要条件是βααα→ΛΛΛ)(21n 为重言式。 二、常见证明方法 命题逻辑的推理证明有六种常用证明方法，分别是直接证明法，真值表法,范式法，间接证明法。其中间接证明法里面常见的是CP 规则证明法和反证法，本文就这几种方法进行论述。
四年级奥数逻辑推理之列表法、假设法
逻辑推理之列表法、假设法 【例1】(★★★) 甲、乙、丙、丁四个人中有教师、医生、律师、警察各一名，已知： ⑴教师不知道甲的职业； ⑵医生曾给乙治过病； ⑶律师是丙的法律顾问； ⑷丁不是律师； ⑸乙和丙从未见过面。 根据以上条件判断甲的职业是______，乙的职业是______。 【例2】(★★★) 甲、乙、丙在2012年高考中考取了北大，清华和理工大学的数学系，物理系和化学系，现知道下列情况 ⑴甲不在北大 ⑵乙不在清华 ⑶在北大的不学数学 ⑷在清华的学物理 ⑸乙不学化学 根据以上情况判断甲、乙、丙三人各在哪个学校？哪个系？ 【例3】(★★★) 传说有个说谎国，这个国家的男人在星期四、五、六、日说真话，在星期一、二、三说假话；女人在星期一、二、三、日说真话，在星期四、五、六说假话。有一天，一个人到说谎国去旅游，他在那里认识了一男一女。男人说：“昨天我说的是假话”，女人说：“昨天也是我说假话的日子”。这下，那个外来的游人可发愁了，到底今天星期几呢？请同学们根据他们说的话，判断今天是星期几？ 【例4】(★★★★) 在老北京的一个胡同的大杂院里，住着4户人家，巧合的是每家都有一对双胞胎女孩。这四对双胞胎中，姐姐分别是甲、乙、丙、丁，妹妹分别是a、b、c、d。一天，一对外国游人夫妇来到这个大杂院里，看到她们8个，忍不住问：“你们谁和谁是一家的啊？” 乙说：“丙的妹妹是d。” 丙说：“丁的妹妹不是c。” 甲说：“乙的妹妹不是a。” 丁说：“他们三个人中只有d的姐姐说的是事实。” 如果丁的话是真话，你能猜出谁和谁是双胞胎吗？
【例5】(★★★) 在一所学校里，有穿绿、黑、青、白、紫五种不同运动服的五支运动队参加长跑比赛，其中，有A、B、C、D、E五位小学生猜比赛者的名次，条件是每个小学生只准猜两支运动队的名次。 学生A猜：紫队第二，黑队第三。 学生B猜：青队第二，绿队第四。 学生C猜：绿队第一，白队第五。 学生D猜：青队第三，白队第四。 学生E猜：黑队第二，紫队第五。 在这五名同学猜完后发现每人都猜对了一个队的名次，并且每队的名次只有一人猜对，请判断一下，这五名同学各猜对了哪个队的名次？ 【超常大挑战】(★★★) 有一位银行行长被谋杀了。警方经过一番努力调查，将大麻子，小矮子和二流子三个嫌疑犯待会闻讯，他们的供词如下： 大麻子：“小矮子没有杀人。” 小矮子：“他说的是真的。” 二流子：“大麻子在说谎！” 结果是，3人中有人在说谎，不过真正的凶手说的倒是实话。请问：谁是杀人犯？ 【知识大总结】 逻辑推理 1．列表法： ⑴人与职业相互对应关系。 ⑵条件相互结合推导。 ⑶排除法。 2．假设法： ⑴假设过程：谁的话正确 ⑵假设结果：凶手是谁 ⑶找矛盾
逻辑推理公式
直言命题 所有的都是上反对 必有一假 所有的都不是包 容矛盾 包 容 有的是必有一真 下反对有的不是 所有的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