第24讲常用逻辑用语,推理与证明.docxVIP

第24讲带用之辑用语，推理与证明 基础知识 常用逻辑用语 命题 命题：可以判断真假的语句叫命题； 逻辑联结词：“或”“且”“非”这些词就叫做逻辑联结词；简单命题：不含逻辑联结词 的命题。复合命题：由简单命题与逻辑联结词构成的命题。 常用小写的拉丁字母p,qj,s,…表示命题，故复合命题有三种形式：p或q； 〃且q； 非P O 复合命题的真值 “非形式复合命题的真假可以用下表表示： P 非〃 真 假 假 真 “〃且0”形式复合命题的真假可以用下表表示: P q P且0 真 真 真 假 假 假 真 假 假 假 假 “〃或0”形式复合命题的真假可以用下表表示: P q p或q 真 真 真 真 假 真 假 假 假 假 注： 1°像上面表示命题真假的表叫真值表； 2°由真值表得：“非p”形式复合命题的真假与p的真假相反；“尸且0”形式复合命 题当〃与0同为真时为真，其他情况为假；“ p或0 ”形式复合命题当p与0同为假时为假, 其他情况为真； 3°真值表是根据简单命题的真假，判断由这些简单命题构成的复合命题的真假，而不 涉及简单命题的具体内容。 (3) 如果第一个命题的条件是第二个命题的结论，且第一个命题的结论是第二个命题的条 件，那么这两个命题叫做互为逆命题； 如果一个命题的条件和结论分别是原命题的条件和结论的否定，那么这两个命题叫做互 否命题，这个命题叫做原命题的否命题； 如果一个命题的条件和结论分别是原命题的结论和条件的否定，那么这两个命题叫做互 为逆否命题，这个命题叫做原命题的逆否命题。 两个互为逆否命题的真假是相同的，即两个互为逆否命题是等价命题.若判断一个命题 的真假较困难时，可转化为判断其逆否命题的真假。 (4)条件 一般地，如果已知pnq,那么就说：p是g的充分条件；q是p的必要条件。 可分为四类： 充分不必要条件，即pnq,而 必要不充分条件，即而〃 #q； 既充分又必要条件，即既有pnq,又有qnp； 既不充分也不必要条件，即p小q ,又有q小p . 一般地，如果既有pnq ,又有qn p ,就记作：p o q ：叫做等价符号。 这时p既是q的充分条件，又是q的必要条件，则p是0的充分必要条件，简称充要条件. (5)全称命题与特称命题 这里，短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号 V表示。含有全体量词的命题，叫做全称命题. 短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通 常叫做存在量词，并用符号不表示，含有存在量词的命题，叫做存在性命题. 推理与证明 合情推理： 归纳推理：根据一类事物的部分对象具有某种性质，推出这类事物的所有对象都具有这 种性质的推理，叫做归纳推理(简称归纳)。归纳是从特殊到一般的过程，它属于合情推理; 类比推理：根据两类不同事物之间具有某些类似(或一致)性，推测其中一类事物具有 与另一类事物类似(或相同)的性质的推理，叫做类比推理(简称类比)。 类比推理的一般步骤： 找出两类事物之间的相似性或一致性； 用一类事物的性质去推测另一类事物的性质，得出一个明确的命题(猜想)； 一般地，事物之间的各个性质之间并不是孤立存在的，而是相互制约的。如果两 个事物在某些性质上相同或类似，那么它们在另一些性质上也可能相同或类似，类比的结论 可能是真的； 在一般情况下，如果类比的相似性越多，相似的性质与推测的性质之间越相关， 那么类比得出的命题就越可靠。 演绎推理： 推理的每一个步骤都是根据一般性命题(如“全等三角形”)推出特殊性命题的过程，这 类根据一般性的真命题(或逻辑规则)导出特殊性命题为真的推理，叫做演绎推理。演绎推 理的特征是：当前提为真时，结论必然为真。 证明： 反证法：要证明某一结论A是正确的，但不直接证明，而是先去证明A的反面(非A) 是错误的，从而断定A是正确的即反证法就是通过否定命题的结论而导出矛盾来达到肯定 命题的结论，完成命题的论证的一种数学证明方法。 反证法的步骤：1)假设命题的结论不成立，即假设结论的反面成立；2)从这个假设出发, 通过推理论证，得出矛盾；3)由矛盾判定假设不正确，从而肯定命题的结论正确。 注意：可能出现矛盾四种情况：①与题设矛盾；②与反设矛盾；③与公理、定理矛盾④ 在证明过程中，推出自相矛盾的结论。 分析法：证明不等式时，有时可以从求证的不等式出发，分析使这个不等式成立的条件, 把证明不等式转化为判定这些条件是否具备的问题，如果能够肯定这些条件都已具备，那么 就可以断定原不等式成立，这种方法通常叫做分析法。 用分析法证明不等式的逻辑关系是： 分析法的思维特点是：执果索因； 分析法的书写格式：要证明命题B为真，只需要证明命题为真, 这只需要证明命题A为真，而已知A为真，故命题B必为真。 从而有,这只需要