命题逻辑与数学证明方法_孙宗明
人教版初中数学命题与证明的图文答案
人教版初中数学命题与证明的图文答案 一、选择题 1．用反证法证明“三角形的三个外角中至多有一个锐角”，应先假设() A．三角形的三个外角都是锐角 B．三角形的三个外角中至少有两个锐角 C．三角形的三个外角中没有锐角 D．三角形的三个外角中至少有一个锐角 【答案】B 【解析】 【分析】 反证法的步骤中，第一步是假设结论不成立，反面成立． 【详解】 解：用反证法证明“三角形的三个外角中至多有一个锐角”，应先假设三角形的三个外角中 至少有两个锐角， 故选B． 【点睛】 .在假设结论不成立时要注意考虑结考查了反证法，解此题关键要懂得反证法的意义及步骤 论的反面所有可能的情况，如果只有一种，那么否定一种就可以了，如果有多种情况，则 必须一一否定． 2．下列命题中①等腰三角形底边的中点到两腰的距离相等 ②如果两个三角形全等，则它们必是关于直线成轴对称的图形 ③如果两个三角形关于某直线成轴对称，那么它们是全等三角形 ④等腰三角形是关于底边中线成轴对称的图形 ⑤一条线段是关于经过该线段中点的直线成轴对称的图形 正确命题的个数是（） A．2个B．3个C．4个D．5个 【答案】A 【解析】 【分析】 根据等腰三角形的性质、轴对称图形的定义、全等三角形的判定逐个判断即可． 【详解】 根据等腰三角形的三线合一可知，底边中点在顶角角平分线上，再根据角平分线的性质可 知，其到两腰的距离相等，则命题①正确 全等的三角形不一定是成轴对称，则命题②错误 成轴对称的两个三角形一定全等，则命题③正确 等腰三角形是以底边中线所在直线为对称轴的轴对称图形，则命题④错误 成轴对称的图形必须是两个，一个图形只能是轴对称图形，则命题⑤错误
离散数学上机实验1
实验1 1实验内容 （1）求任意一个命题公式的真值表。 （2）利用真值表求任意一个命题公式的主范式。 （3）利用真值表进行逻辑推理。 注：（2）和（3）可在（1）的基础上完成。 2实验目的 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。 本实验通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让学生更加深刻地理解真值表的概念，并掌握真值表的求解方法及其在解决命题逻辑中其他问题中的应用。 3算法的主要思想 利用计算机求命题公式真值表的关键是：①给出命题变元的每一组赋值；②计算命题公式在每一组赋值下的真值。 真值表中命题变元的取值具有如下规律：每列中0 和1 是交替出现的，且0 和1 连续出现的个数相同。n 个命题变元的每组赋值的生成算法可基于这种思想。 含有n个命题变元的命题公式的真值的计算采用的方法为“算符优先法”。 为了程序实现的方便，约定命题变元只用一个字母表示，非、合取、析取、蕴含和等价联结词分别用！、&、|、－、＋来表示。 算符之间的优先关系如表1-1所示： 表1-1算符优先级
优先算法，我们采用两个工作栈。一个称作OPTR，用以寄存运算符；另一个称作OPND，用以寄存操作数或运算结果。算法的基本思想是： （1）首先设置操作数栈为空栈，符号“@”为运算符的栈底元素； （2）调用函数Divi（exp，myopnd）得到命题公式包含的命题变元序列myopnd （按字典序排列，同一个命题变元只出现一次）； （3）依次读入命题公式中的每个字符，若是命题变元则其对应的赋值进OPND 栈，若是运算符，则和OPTR栈的栈顶运算符比较后作相应操作，直至整个命题公式求值完毕。
高等数学证明方法
（3）反证法 这种证法是从反面考虑问题。先假设在已知条件成立的情况下，要证的结论不成立，而后从已知条件出发，运用基本概念和基本定理，通过逻辑推理导出矛盾（或与已知条件矛盾；或与某一已知概念、公式、公理、定理等矛盾；或自相矛盾等），这样则否定假设，从而肯定原结论正确。 例如，证明不是的多项式. 事实上，利用反证法，设是的多项式，不妨记此多项式为次多项式，即，则有 于是次多项式有无穷多个不同实根，这与次多项式最多只有个不同实根相矛盾，由此证明了不是的多项式. 又如，证明不存在（为自然数）. 事实上，利用反证法，假设存在且设，则有 又因为 所以有 故 这与产生矛盾，因此不存在. （2）分析法 这种方法基本思路是逆着想。先假设结论正确，运用已有的定义、定理、公式、性质，从后向前一步一步地分析，直至推出已知条件，即由结论找需知，再找需知，……，直至已知。这种“执果溯因”的方法，叫做分析法。 分析法是探求证题途径的重要方法之一。它的优点在于思考过程比较自然，目的明确，较为容易找到证明的思路，但缺点是分析的过程叙述起来往往比较繁琐，因而过程多在草稿纸上进行，不正式写出。在实际解题时，特别对于一些较难的问题，常常先用分析法寻找解题的途径，然后再用综合法叙述解题过程，这种方法也可叫做分析综合法。 例如，设在时连续，且；而在时有单调递增导数，试证在时是单调递增的。 事实上，欲证为单调递增，只需证明就行了，而由于 因此就归结为证明. 利用拉格朗日中值定理及已知条件，有 单调递增 因此在时是单调递增的. 又如，用极限定义证明一数列或函数有已知极限时，多采用分析综合法证明。比如证明，其方法如下： ，欲使不等式成立， 由 所以只需，即成立. 取，于是当时，就有，从而保证了希望的不等式成立. 综合以上分析，就有 ，当时，，根据极限定义，有
离散数学第一章命题逻辑知识点总结
数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题)：简单陈述句构成的命题 复合命题：由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1）表示 简单命题 用“1”表示真，用“0”表示假 例如，令p：是有理数，则p 的真值为 0 q：2 + 5 = 7，则q 的真值为 1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题，复合命题“非p”（或“p的否定”）称 为p的否定式，记作p. 符号称作否定联结词，并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式，记作p∧q. ∧称作合取联结词，并规定 p∧q为真当且仅当p 与q同时为真 注意：描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明，而且用功. (3) 王晓虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生，s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学，t 是简单命题 . 说明:
人教版初中数学命题与证明的全集汇编
人教版初中数学命题与证明的全集汇编 一、选择题 1．下列命题为真命题的是（） A．三角形的一个外角大于任何一个和它不相邻的内角 B．两直线被第三条直线所截，同位角相等 C．垂直于同一直线的两直线互相垂直 D．三角形的外角和为180o 【答案】A 【解析】 【分析】 根据三角形的外角性质、平行线的性质、平行公理的推论、三角形外角和定理判断即可．【详解】 三角形的一个外角大于任何一个和它不相邻的内角，A是真命题； 两条平行线被第三条直线所截，同位角相等，B是假命题； 在同一平面内，垂直于同一直线的两直线互相平行，C是假命题； 三角形的外角和为360°，D是假命题； 故选A． 【点睛】 本题考查的是命题的真假判断，正确的命题叫真命题，错误的命题叫做假命题．判断命题的真假关键是要熟悉课本中的性质定理． 2．下列命题是真命题的是（） A．如果一个数的相反数等于这个数本身，那么这个数一定是0 B．如果一个数的倒数等于这个数本身，那么这个数一定是1 C．如果一个数的平方等于这个数本身，那么这个数一定是0 D．如果一个数的算术平方根等于这个数本身，那么这个数一定是0 【答案】A 【解析】 【分析】 根据相反数是它本身的数为0；倒数等于这个数本身是±1；平方等于它本身的数为1和0；算术平方根等于本身的数为1和0进行分析即可． 【详解】 A、如果一个数的相反数等于这个数本身，那么这个数一定是0，是真命题； B、如果一个数的倒数等于这个数本身，那么这个数一定是1，是假命题； C、如果一个数的平方等于这个数本身，那么这个数一定是0，是假命题； D、如果一个数的算术平方根等于这个数本身，那么这个数一定是0，是假命题； 故选A． 【点睛】
高中数学四大推理方法巧解证明题.doc
高中数学四大推理方法巧解证明题- 高中数学是数学各种基础知识的总结和归纳，同时也是以前所学到的数学知识的深化和检验。针对高中数学的这一特性，可以通过四大推理方法来进行证明题的解答，不但可以掌握数学知识脉络，也可以把所学到的知识上升到思维层面，使自己可以综合运用数学知识，达到学以致用的目的。 一、合情推理法 在高中数学证明题的解答过程中使用合情推理，有着比较重要的作用以及影响。比较常用的合情推理法就是类比推理法，这是一种从特殊转向特殊的推理方法，两种类似对象间的推理，一个对象有着某个性质，而另一个对象同时也有类似性质。进行类比时，对已知对象性质推理的过程进行充分的考虑，之后类比推导出类比对象性质。高中数学知识的结构很复杂，难度也比其他学科大，而通过合情推理法，并结合多种的思维方法，使学生可以进行思考和分析，也培养了学生对于数学学习的兴趣，提高了学生数学的学习能力。所以，合情推理法是一种很好的解答高中数学证明题的方法。 二、演绎推理法 对于演绎推理法来说，这是一种从一般转向特殊的推理方法，高中数学证明题的证明过程大都是通过演绎推理来证明的，保证演绎推理的前提以及形式正确，就能保证结论是正确的，同时要注意推理的过程具有正确性以及完备性。 三、间接和直接证明法 （一）直接证明法 直接证明法比较常见的就是综合法以及分析法。其中，综
合法就是利用已知的条件以及数学定理和公理等，进行推理论证，之后推导出结论成立。综合法也被称作为顺推证法或者由因导果法。而分析法是从结论出发，对结论充分成立的条件进行逐步的寻求，把结论归纳总结成明显成立的一个条件。 （二）间接证明法 间接证明法比较常用的就是反证法，其证明步骤为首先反设，之后归谬，最后存真。首先假设结论不成立，就是把结论反面假设为真，之后的归谬就是在己知条件和反设背景下推理，得出同假设命题相矛盾的结论，最后的存真就是由归谬得出的结果进行反设命题不真的断定，来说明原先结论是成立的。 四、归纳推理法 同上述的推理方法相比较来说，归纳推理法注重对高中数学知识总体的规划，总结和归纳所学到知识。我们都知道，高中数学的知识点比较多，每个知识点之间都有着一定的关系，一道证明题中，可能存在几个知识点，如果同学们不能归纳知识的话，短时间内就不能看出题目中知识点之间的联系，就会严重影响题目的解答。 在高中数学的证明题目中，虽然有限的研究对象比较常见，但是，更为常见的是研究对象众多，一些特定的情况下研究对象可能是无穷的，同学们很难找到突破口。如果同学们把研究对象根据形成的情况进行分类，之后根据分类在进行证明，假如每种情况都可以得到证明，那么所得到的结论就必然是正确的，这种分类证明、归纳方法，可以使同学们找到突破口，从而使证明题得到解答。 结束语： 在数学证明题的实际解答过程中，要根据题目的具体情景
离散数学考试题详细答案
离散数学考试题(后附详细答案) 一、命题符号化(共6小题,每小题3分,共计18分) 1.用命题逻辑把下列命题符号化 a)假如上午不下雨,我去瞧电影,否则就在家里读书或瞧报。 设P表示命题“上午下雨”,Q表示命题“我去瞧电影”,R表示命题“在家里读书”,S表示命题“在家瞧报”,命题符号化为:(?P?Q)∧(P?R∨S) b)我今天进城,除非下雨。 设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:?Q→P或?P→Q c)仅当您走,我将留下。 设P表示命题“您走”,Q表示命题“我留下”,命题符号化为: Q→P 2.用谓词逻辑把下列命题符号化 a)有些实数不就是有理数 设R(x)表示“x就是实数”,Q(x)表示“x就是有理数”,命题符号化为: ?x(R(x) ∧?Q(x)) 或??x(R(x) →Q(x)) b)对于所有非零实数x,总存在y使得xy=1。 设R(x)表示“x就是实数”,E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为: ?x(R(x) ∧?E(x,0) →?y(R(y) ∧E(f(x,y),1)))) c) f 就是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b、 设F(f)表示“f就是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为:F(f)??a(A(a)→?b(B(b) ∧ E(f(a),b) ∧?c(S(c) ∧ E(f(a),c) →E(a,b)))) 二、简答题(共6道题,共32分) 1.求命题公式(P→(Q→R))?(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋 值。(5分) (P→(Q→R))?(R→(Q→P))?(?P∨?Q∨R)?(P∨?Q∨?R) ?((?P∨?Q∨R)→(P∨?Q∨?R)) ∧ ((P∨?Q∨?R) →(?P∨?Q∨R))、 ?((P∧Q∧?R)∨ (P∨?Q∨?R)) ∧ ((?P∧Q∧R) ∨(?P∨?Q∨R)) ?(P∨?Q∨?R) ∧(?P∨?Q∨R) 这就是主合取范式 公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为 (?P∧?Q∧?R)∨(?P∧?Q∧R)∨(?P∧Q∧?R)∨(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧R) 2.设个体域为{1,2,3},求下列命题的真值(4分) a)?x?y(x+y=4) b)?y?x (x+y=4) a) T b) F 3.求?x(F(x)→G(x))→(?xF(x)→?xG(x))的前束范式。(4分) ?x(F(x)→G(x))→(?xF(x)→?xG(x)) ??x(F(x)→G(x))→(?yF(y)→?zG(z))??x(F(x)→G(x))→?y?z(F(y)→G(z)) ??x?y?z((F(x)→G(x))→ (F(y)→G(z))) 4.判断下面命题的真假,并说明原因。(每小题2分,共4分) a)(A?B)－C=(A-B) ?(A-C) b)若f就是从集合A到集合B的入射函数,则|A|≤|B| a) 真命题。因为(A?B)－C=(A?B)?~C=(A?~C)?(B?~C)=(A-C)?(B-C) b) 真命题。因为如果f就是从集合A到集合B的入射函数,则|ranf|=|A|,且ranf?B,故命题 成立。
初中数学命题与证明的图文解析(1)
初中数学命题与证明的图文解析(1) 一、选择题 1．下列说法正确的是() A．若a＞b，则a2＞b2 B．若三条线段的长a、b、c满足a+b＞c，则以a、b、c为边一定能组成三角形 C．两直线平行，同旁内角相等 D．三角形的外角和为360° 【答案】D 【解析】 【分析】 利用特例对A进行分析，利用三角形三边关系、平行线的性质、三角形外角的性质分别对B、C、D进行分析判断． 【详解】 A、若a＞b，则不一定有a2＞b2，比如a＝0,b＝﹣1，故本选项错误； B、若三条线段的长a、b、c满足a+b＞c，则以a、b、c为边不一定能组成三角形，故本选项错误； C、两直线平行，同旁内角互补，故本选项错误； D、三角形的外角和为360°，故本选项正确； 故选：D 【点睛】 本题考查真假命题的判断，解题的关键是根据相关知识对命题进行分析判断． 2．“两条直线相交只有一个交点”的题设是（） A．两条直线 B．相交 C．只有一个交点 D．两条直线相交 【答案】D 【解析】 【分析】 任何一个命题，都由题设和结论两部分组成．题设，是命题中的已知事项，结论，是由已知事项推出的事项． 【详解】 “两条直线相交只有一个交点”的题设是两条直线相交． 故选D． 【点睛】 本题考查的知识点是命题和定理，解题关键是理解题设和结论的关系. 3．下列命题是真命题的是（） A．内错角相等 B．平面内，过一点有且只有一条直线与已知直线垂直
C．相等的角是对顶角 D．过一点有且只有一条直线与已知直线平行 【答案】B 【解析】 【分析】 命题的“真”“假”是就命题的内容而言．任何一个命题非真即假，正确的命题为真命题，错误的命题为假命题． 【详解】 A、内错角相等，是假命题，故此选项不合题意； B、平面内，过一点有且只有一条直线与已知直线垂直，是真命题，故此选项符合题意； C、相等的角是对顶角，是假命题，故此选项不合题意； D、过一点有且只有一条直线与已知直线平行，是假命题，故此选项不合题意； 故选：B． 【点睛】 此题主要考查了命题与定理，关键是掌握要说明一个命题的正确性，一般需要推理、论证，而判断一个命题是假命题，只需举出一个反例即可． 4．下列各命题的逆命题是真命题的是 A．对顶角相等B．全等三角形的对应角相等 C．相等的角是同位角D．等边三角形的三个内角都相等 【答案】D 【解析】 【分析】 分别写出四个命题的逆命题：相等的角为对顶角；对应角相等的两三角形全等；同位角相等；三个角都相等的三角形为等边三角形；然后再分别根据对顶角的定义对第一个进行判断；根据三角形全等的判定方法对第二个进行判断；根据同位角的性质对第三个进行判断；根据等边三角形的判定方法对第四个进行判断． 【详解】 A、“对顶角相等”的逆命题为“相等的角为对顶角”，此逆命题为假命题，所以A选项错误； B、“全等三角形的对应角相等”的逆命题为“对应角相等的两三角形全等”，此逆命题为假命题，所以B选项错误； C、“相等的角是同位角”的逆命题为“同位角相等”，此逆命题为假命题，所以C选项错误； D、“等边三角形的三个内角都相等”的逆命题为“三个角都相等的三角形为等边三角形”，此逆命题为真命题，所以D选项正确． 故选D. 【点睛】 本题考查了命题与定理：判断事物的语句叫命题；题设与结论互换的两个命题互为逆命题；正确的命题叫真命题，错误的命题叫假命题；经过推论论证得到的真命题称为定理．
(完整版)离散数学实验指导书及其答案
实验一命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例：用化简命题逻辑公式的方法设计一个 5 人表决开关电路，要求 3 人以上（含 3 人）同意则表决通过（表决开关亮）。 【实验原理和方法】 （1）写出5人表决开关电路真值表，从真值表得出5 人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成 C 语言中的函数。 （3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。 （4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。 参考代码： #include
命题逻辑的推理理论(牛连强)
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．用三个不等式,0,a b ab a b >>>中的两个不等式作为题设，余下的一个不等式作为结论组成一个命题，组成真命题的个数为( ) A ．0 B ．1 C ．2 D ．3 【答案】A 【解析】 【分析】 由题意得出三个命题，根据不等式的性质判断命题的真假. 【详解】 若,0a b ab >>，则a b >为假命题.反例：a=-1,b=-2 若,a b a b >>，则0ab >为假命题.反例：a=2,b=-1 若0, ab a b >>，则a b >为假命题.反例:a=-2,b=-1 故选：A 【点睛】 本题考查了命题与不等式的性质，解题的关键在于根据题意得出命题，根据不等式的性质判断真假. 2．下列命题中真命题是（ ） A 2一定成立 B ．位似图形不可能全等 C ．正多边形都是轴对称图形 D ．圆锥的主视图一定是等边三角形 【答案】C 【解析】 【分析】根据二次根式的性质、位似图形的定义、正多边形的性质及三视图的概念逐一判断即可得． 【详解】A ）2，当a ＜0时不成立，假命题； B 、位似图形在位似比为1时全等，假命题； C 、正多边形都是轴对称图形，真命题； D 、圆锥的主视图不一定是等边三角形，假命题， 故选C ． 【点睛】本题考查了真命题与假命题，涉及到二次根式的性质、位似图形、正多边形、视图等知识，熟练掌握相关知识是解题的关键. 3．下列命题是假命题的是（ ）
A．有一个角为60?的等腰三角形是等边三角形 B．等角的余角相等 C．钝角三角形一定有一个角大于90? D．同位角相等 【答案】D 【解析】 【分析】 【详解】 解：选项A、B、C都是真命题； 选项D，两直线平行，同位角相等，选项D错误，是假命题， 故选：D． 4．下列命题中，是假命题的是（） A．对顶角相等B．同位角相等 C．同角的余角相等D．全等三角形的面积相等 【答案】B 【解析】 【分析】 根据对顶角得性质、平行线得性质、余角得等于及全等三角形得性质逐一判断即可得答案． 【详解】 A.对顶角相等是真命题，故该选项不合题意， B.两直线平行，同位角相等，故该选项是假命题，符合题意， C.同角的余角相等是真命题，故该选项不合题意， D.全等三角形的面积相等是真命题，故该选项不合题意． 故选：B． 【点睛】 本题主要考查了命题的真假判断，正确的命题叫真命题，错误的命题叫做假命题．判断命题的真假关键是要熟悉课本中的性质定理． 5．下列命题正确的是（） A．矩形的对角线互相垂直平分 B．一组对角相等，一组对边平行的四边形一定是平行四边形 C．正八边形每个内角都是145o D．三角形三边垂直平分线交点到三角形三边距离相等 【答案】B 【解析】 【分析】 根据矩形的性质、平行四边形的判定、多边形的内角和及三角形垂直平分线的性质，逐项
逻辑推理(好题)
逻辑推理好题 1.有甲、乙、丙、丁四人，如果甲炒股，那么乙、丙、丁也都炒股。如果上述断定为真，那么以下哪项一定也为真： A如果甲没有炒股，那么乙、丙、丁也没有炒股 B如果甲没有炒股，那么乙、丙、丁中至少有一人没有炒股 C如果乙、丙、丁都炒股，那么甲也炒股 D如果丁没有炒股，那么甲和乙至少有一人没有炒股 正确答案是D 2.对某班学生喜欢的体育活动进行调查后发现：该班的学生或者喜欢打篮球，或者喜欢打羽毛球；如果喜欢打排球，则不喜欢打羽毛球；该班的班长喜欢打排球，因此他也喜欢打乒乓球。以下哪项最可能是上述论证的假设： A该班的班长至少喜欢三项体育活动 B喜欢打乒乓球的学生都喜欢打羽毛球 C喜欢打篮球的学生都喜欢打乒乓球 D该班学生喜欢的体育活动只有篮球、羽毛球、排球和乒乓球四项 正确答案是C 3.品学兼优的学生不都读研究生。如果以上论述为真，则下列命题能判断真假的有几个： I. 有些品学兼优的学生读研究生 II. 有些品学兼优的学生不读研究生 III. 所有品学兼优的学生都读研究生 IV. 所有品学兼优的学生都不读研究生 A1 B2 C3 D4 正确答案是B 第一步：翻译题干。
品学兼优的学生不都读研究生，等价于：有些品学兼优的学生不读研究生。 第二步：逐一分析选项。 I. 有些品学兼优的学生读研究生与题干构成下反对关系，其中一个为真无法判断另一个的真假，即该命题的真假未定； II. 有些品学兼优的学生不读研究生与题干一致，为真命题； III. 所有品学兼优的学生都读研究生与题干构成矛盾关系，题干为真，可知其矛盾命题为假，即III的命题为假命题； IV. 所有品学兼优的学生都不读研究生是全称命题，与题干构成等差关系，因为题干是特称命题，特称命题为真无法判断全称命题的真假，故该命题的真假未定。 综上分析，可判断II为真命题，III为假命题，而I和IV真假未定，即能确定真假的命题只有两个。 4.某公司行政部人员手机使用情况如下： ①小王拨打过行政部所有人的电话； ②小李曾经拨打过小赵的电话，但是小赵不曾拨打过其他人的电话； ③不曾接听来自行政部其他人电话的人也就不曾拨打过其他人的电话。 由此可以推出： A小赵不曾接听过来自小李的电话 B小李曾经接听过来自小王的电话 C行政部曾有人拨打过小王的电话 D小王接听过来自行政部所有人的电话 正确答案为C 第一步：翻译题干。利用充分必要条件。
逻辑判断推理中常用的逻辑公式
逻辑判断推理中常用的 逻辑公式 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
初中数学命题与证明的易错题汇编及解析
初中数学命题与证明的易错题汇编及解析 一、选择题 1．下列四个命题中： ①在同一平面内，互相垂直的两条直线一定相交 ②有且只有一条直线垂直于已知直线 ③两条直线被第三条直线所截，同位角相等 ④从直线外一点到这条直线的垂线段，叫做这点到这条直线的距离． 其中真命题的个数为（） A．1个 B．2 个 C．3个 D．4个 【答案】A 【解析】分析：利用平行公理及其推论和垂线的定义、点到直线的距离的定义分别分析求出即可． 详解：①在同一平面内，互相垂直的两条直线一定相交，正确； ②在同一个平面内，有且只有一条直线垂直于已知直线，此选项错误； ③两条平行直线被第三条直线所截，同位角相等，错误； ④从直线外一点到这条直线的垂线段的长度，叫做这点到这条直线的距离，错误； 真命题有1个. 故选A. 点睛：本题考查了命题与定理.其中真命题是由题设得出结论，如果不能由题设得出结论则称为假命题.题干中②、③、④，均不能由题设得出结论故不为真命题. 2．下列命题是真命题的是（） A．如果一个数的相反数等于这个数本身，那么这个数一定是0 B．如果一个数的倒数等于这个数本身，那么这个数一定是1 C．如果一个数的平方等于这个数本身，那么这个数一定是0 D．如果一个数的算术平方根等于这个数本身，那么这个数一定是0 【答案】A 【解析】 【分析】 根据相反数是它本身的数为0；倒数等于这个数本身是±1；平方等于它本身的数为1和0；算术平方根等于本身的数为1和0进行分析即可． 【详解】 A、如果一个数的相反数等于这个数本身，那么这个数一定是0，是真命题； B、如果一个数的倒数等于这个数本身，那么这个数一定是1，是假命题； C、如果一个数的平方等于这个数本身，那么这个数一定是0，是假命题； D、如果一个数的算术平方根等于这个数本身，那么这个数一定是0，是假命题； 故选A． 【点睛】 此题主要考查了命题与定理，关键是掌握正确的命题为真命题，错误的命题为假命题．
朱滢《实验心理学》(第3版)(复习笔记 思维)【圣才出品】
10.1复习笔记 一、问题解决 （一）影响问题解决的因素 1．功能固定化 （1）功能固定化是指只看到某种物体常用的功能，而很少认为它还有别的用途。 （2）在功能固定化的影响下，人们不易摆脱事物用途的固有观念，因而直接影响到人们灵活地解决问题。 2．定势 （1）定势是一种活动的准备状态或行为倾向。 （2）定势的积极作用表现为在条件不变的情况下，快速解决问题；消极的作用表现为用旧的方法解决新的问题，妨碍新方法或者简单方法的发现和运用。 3．噪声 Glass等人认为噪声对问题解决的影响是很复杂的。 （1）实验过程 ①实验中共有4种噪声条件：强噪声、弱噪声、事先告诉有噪声、事先不告诉有噪声。 ②在这4种条件下，要求被试解决4个猜谜问题，两个是能解决的，两个是不能解决的。 （2）实验结果 ①对于能够解决的猜谜问题，4种噪声条件下各被试需要尝试的次数没有显著差别。 ②对于不能解决的问题，当料到有噪声时被试能更长时间地去尝试解决问题。 ③在没有料到有噪声的情况下，被试的这种努力就大大减少了，并且还出现了交互作用：
当噪声可被预料时，它的强度是不重要的。但当噪声不能预料时，强噪声比弱噪声影响更大。 （二）问题解决的计算机模拟 1．出声思维 （1）出声思维是一种用口语记录分析被试解决问题的方法，就是让被试在解决问题时说出头脑内进行的一切活动，并对予以记录，然后加以分析。 （2）口语记录分析法是认知心理学对思维的计算机模拟进行收集经验数据的方法。 2．计算机模拟技术 （1）认知心理学假定，人是一个信息加工系统，信息加工系统称为“符号操作系统”或者“物理符号系统”。 （2）计算机也是一个物理符号系统。将人脑比喻为计算机，就可以从一个已知的系统去加深对一个不甚清楚的系统的理解。 3．思维的计算机模拟的局限性 （1）人脑是千百万年进化的产物，而计算机只是人脑的产物，人脑的工作方式与计算机的工作方式不同。 （2）仅在计算机输出的结果方面模拟人的思维结果是不够的。 （3）计算机无法对人的形象思维进行模拟，而形象思维则是人解决问题，在科学、艺术、运动等领域进行创造性活动常常使用的思维形式。 二、推理 推理是思维的形式，分成归纳推理和演绎推理。 （一）推理的理论 1．心理模型理论
合肥市初中数学命题与证明的知识点总复习附解析
合肥市初中数学命题与证明的知识点总复习附解析 一、选择题 1．下列命题的逆命题正确的是（ ） A ．如果两个角是直角，那么它们相等 B ．全等三角形的面积相等 C ．同位角相等，两直线平行 D ．若a b =，则22a b = 【答案】C 【解析】 【分析】 交换原命题的题设与结论得到四个命题的逆命题，然后分别根据直角的定义、全等三角形的判定、平行线的性质和平方根的定义判定四个逆命题的真假． 【详解】 解：A 、逆命题为：如果两个角相等，那么它们都是直角，此逆命题为假命题； B 、逆命题为：面积相等的两三角形全等，此逆命题为假命题； C 、逆命题为：两直线平行，同位角相等，此逆命题为真命题； D 、逆命题为，若a 2＝b 2，则a ＝b ，此逆命题为假命题． 故选：C ． 【点睛】 本题考查了命题与定理：判断一件事情的语句，叫做命题．许多命题都是由题设和结论两部分组成，题设是已知事项，结论是由已知事项推出的事项，一个命题可以写成“如果…那么…”形式．有些命题的正确性是用推理证实的，这样的真命题叫做定理．也考查了逆命题． 2．下列命题中逆命题是假命题的是（ ） A ．如果两个三角形的三条边都对应相等，那么这两个三角形全等 B ．如果a 2=9，那么a=3 C ．对顶角相等 D ．线段垂直平分线上的任意一点到这条线段两个端点的距离相等 【答案】C 【解析】 【分析】 首先写出各命题的逆命题（将每个命题的题设与结论调换），然后再证明各命题的正误．因为相等的角不只是对顶角，所以此答案是假命题，继而得到正确答案． 【详解】 解：A 、逆命题为：如果两个三角形全等，那么这两个三角形的三条边都对应相等．是真命题； B 、逆命题为：如果a=3，那么a 2=9．是真命题； C 、逆命题为：相等的角是对顶角．是假命题； D 、逆命题为：到线段两个端点的距离相等的点在这条线段垂直平分线上．是真命题．
逻辑推理讲义 郑路
声明：水平有限，本讲义只为和大家交流，以待高手指点自己提高之用。如有瑕疵请谅解。 19日晚9点第二讲，是从联言命题开始。第一讲在群邮件中有录音，如果没听过的最好听一下，否则接不上。第一讲是演绎推理的基础。红色例题（选的都是真题）大家最好做一下，听课效果好。 逻辑推理讲义 第一节关于逻辑推理 一、了解逻辑推理题 二、逻辑判断的注意事项 第二节复合命题推理 一、充分命题推理 1.关联词：就；则；如果。。。那么 2.符号形式：A—>B（读A则B） 3.推理规则：A—>B，A=>B 肯前比肯后（最基础模型） A—>B，-B=>-A 否后必否前（最基础模型） 4.错误推理：只要看到了错误推论，直接排除，不必向下看了 a)否定前件——否定前件推不出确定的结论（具有可能性） b)肯定后件——肯定后件推不出确定的结论（具有可能性） 例题： 1、如果月球表面曾经是岩浆海洋，那么许多元素的分布就应该是连续的。岩浆海洋掌握着解开月球诞生之 谜的钥匙，如果岩浆海洋的存在得到确认，那么“巨型冲击假说”将成为最有力的月亮起源说。由此可以推出： A.如果月球表面不曾是岩浆海洋，那么月球表面的元素分布就不是连续的。 B.如果“巨型冲击假说”没有成为最有力的月亮起源说，那么表明月球表面的元素分布都不是连续的。 C.如果月球表面的元素分布不是连续的，那么月球表面不曾是岩浆海洋 D.如果月球表面的元素分布是连续的，那么“巨型冲击假说”将成为最有力的月亮起源说 二、充分传递推理 1.分离传递：A—>B，B—>C => A—>C 下雨——地湿，地湿——路滑推出下雨——路滑
2.逆否传递：A—>B ，B—>C => -C—>-A 下雨——地湿，地湿——路滑推出–路滑——-下雨 三、必要条件命题推理 1.关联词：只有。。才。。。；必须。。。才。。；。。。才。。。 2.符号形式：B<—A（读B才A）模型（看到“才“就画反向箭头） 3.只有B才A=如果A就B 例题： 1、有关专家指出，月饼高糖、高热量，不仅不利于身体健康，甚至演变成了―健康杀手‖。月饼要想成为一种健康食品，关键要从工艺和配料两方面进行改良，如果不能从工艺和配料方面进行改良，口味再好，也不能符合现代人对营养方面的需求。 由此不能推出的是： A.只有从工艺和配料方面改良了月饼，才能符合现代人对营养方面的需求 B.如果月饼符合了现代人对营养方面的需求，说明一定从工艺和配料方面进行了改良 C.只要从工艺和配料方面改良了月饼，即使口味不好，也能符合现代人对营养方面的需求 D.没有从工艺和配料方面改良月饼，却能符合现代人对营养方面需求的情况是不可能存在的 四、断定A—>B的关系 1.如果A，那么B； 2.若A则B（A就B） 3.A必须B 4.A离不开B 5.A是以B为条件的 6.B是A的必要条件 7.A以B为基础 8.B是A必须的基础 9.A是指：B 五、相容选言推理 1.符号形式：A V B （读A或B） 2.语义：至少一个成立，也可以都成立。 3.推理规则：否定规则（排中律）——排除法（排除一个选中另一个） 1)否前肯后：A V B，-A=>B
人教版初中数学命题与证明的知识点
人教版初中数学命题与证明的知识点 一、选择题 1．下列选项中，可以用来说明命题“若22a b ＞，则a b ＞”是假命题的反例是（ ） A ．2,a =b=-1 B ．2,1a b =-= C ．3,a =b=-2 D ．2,0a b == 【答案】B 【解析】 分析：根据要证明一个结论不成立，可以通过举反例的方法来证明一个命题是假命题． 详解：∵当a =﹣2，b =1时，（﹣2）2＞12，但是﹣2＜1，∴a =﹣2，b =1是假命题的反例． 故选B ． 点睛：本题考查的是命题与定理，要说明数学命题的错误，只需举出一个反例即可．这是数学中常用的一种方法． 2．“两条直线相交只有一个交点”的题设是（ ） A ．两条直线 B ．相交 C ．只有一个交点 D ．两条直线相交 【答案】D 【解析】 【分析】 任何一个命题，都由题设和结论两部分组成．题设，是命题中的已知事项，结论，是由已知事项推出的事项． 【详解】 “两条直线相交只有一个交点”的题设是两条直线相交． 故选D ． 【点睛】 本题考查的知识点是命题和定理，解题关键是理解题设和结论的关系. 3．下列命题是假命题的是( ) A ．四个角相等的四边形是矩形 B ．对角线相等的平行四边形是矩形 C ．对角线垂直的四边形是菱形 D ．对角线垂直的平行四边形是菱形 【答案】C 【解析】 试题分析：A ．四个角相等的四边形是矩形，为真命题，故A 选项不符合题意； B ．对角线相等的平行四边形是矩形，为真命题，故B 选项不符合题意； C ．对角线垂直的平行四边形是菱形，为假命题，故C 选项符合题意； D ．对角线垂直的平行四边形是菱形，为真命题，故D 选项不符合题意． 故选C ．
初中数学命题与证明的知识点
初中数学命题与证明的知识点 一、选择题 1．下列说法正确的是() A．若a＞b，则a2＞b2 B．若三条线段的长a、b、c满足a+b＞c，则以a、b、c为边一定能组成三角形 C．两直线平行，同旁内角相等 D．三角形的外角和为360° 【答案】D 【解析】 【分析】 利用特例对A进行分析，利用三角形三边关系、平行线的性质、三角形外角的性质分别对B、C、D进行分析判断． 【详解】 A、若a＞b，则不一定有a2＞b2，比如a＝0,b＝﹣1，故本选项错误； B、若三条线段的长a、b、c满足a+b＞c，则以a、b、c为边不一定能组成三角形，故本选项错误； C、两直线平行，同旁内角互补，故本选项错误； D、三角形的外角和为360°，故本选项正确； 故选：D 【点睛】 本题考查真假命题的判断，解题的关键是根据相关知识对命题进行分析判断． 2．下列命题中逆命题是假命题的是（） A．如果两个三角形的三条边都对应相等，那么这两个三角形全等 B．如果a2=9，那么a=3 C．对顶角相等 D．线段垂直平分线上的任意一点到这条线段两个端点的距离相等 【答案】C 【解析】 【分析】 首先写出各命题的逆命题（将每个命题的题设与结论调换），然后再证明各命题的正误．因为相等的角不只是对顶角，所以此答案是假命题，继而得到正确答案． 【详解】 解：A、逆命题为：如果两个三角形全等，那么这两个三角形的三条边都对应相等．是真命题； B、逆命题为：如果a=3，那么a2=9．是真命题； C、逆命题为：相等的角是对顶角．是假命题； D、逆命题为：到线段两个端点的距离相等的点在这条线段垂直平分线上．是真命题． 故选C．