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