第十四部分 常用逻辑用语与推理证明

1． 四种命题：

⑴原命题：若p则q； ⑵逆命题：若q则p；

⑶否命题：若 p则 q；⑷逆否命题：若 q则 p

注：原命题与逆否命题等价；逆命题与否命题等价。

2．充要条件的判断：

（1）定义法----正、反方向推理；

（2）利用集合间的包含关系：例如：若 ，则A是B的充分条件或B是A的必要条件；若A=B，则A是B的充要条件；

3．逻辑连接词：

⑴且(and) ：命题形式 p q； p q p q p q p

⑵或（or）：命题形式 p q； 真 真 真 真 假

⑶非（not）：命题形式 p . 真 假 假 真 假

假 真 假 真 真

假 假 假 假 真

4．全称量词与存在量词

⑴全称量词-------“所有的”、“任意一个”等，用 表示；

全称命题p： ；

全称命题p的否定 p： 。

⑵存在量词--------“存在一个”、“至少有一个”等，用 表示；

特称命题p： ；

特称命题p的否定 p： ；

第十五部分 推理与证明

1．推理：

⑴合情推理：归纳推理和类比推理都是根据已有事实，经过观察、分析、比较、联想，在进行归纳、类比，然后提出猜想的推理，我们把它们称为合情推理。

①归纳推理：由某类食物的部分对象具有某些特征，推出该类事物的全部对象都具有这些特征的推理，或者有个别事实概括出一般结论的推理，称为归纳推理，简称归纳。

注：归纳推理是由部分到整体，由个别到一般的推理。

②类比推理：由两类对象具有类似和其中一类对象的某些已知特征，推出另一类对象也具有这些特征的推理，称为类比推理，简称类比。

注：类比推理是特殊到特殊的推理。

⑵演绎推理：从一般的原理出发，推出某个特殊情况下的结论，这种推理叫演绎推理。

注：演绎推理是由一般到特殊的推理。

“三段论”是演绎推理的一般模式，包括：

⑴大前提---------已知的一般结论；

⑵小前提---------所研究的特殊情况；

⑶结 论---------根据一般原理，对特殊情况得出的判断。

二．证明

⒈直接证明

⑴综合法

一般地，利用已知条件和某些数学定义、定理、公理等，经过一系列的推理论证，最后推导出所要证明的结论成立，这种证明方法叫做综合法。综合法又叫顺推法或由因导果法。

⑵分析法

一般地，从要证明的结论出发，逐步寻求使它成立的充分条件，直至最后，把要证明的结论归结为判定一个明显成立的条件（已知条件、定义、定理、公理等），这种证明的方法叫分析法。分析法又叫逆推证法或执果索因法。

2．间接证明------反证法

一般地，假设原命题不成立，经过正确的推理，最后得出矛盾，因此说明假设错误，从而证明原命题成立，这种证明方法叫反证法。

附：数学归纳法（仅限理科）

一般的证明一个与正整数 有关的一个命题，可按以下步骤进行：

⑴证明当 取第一个值 是命题成立；

⑵假设当 命题成立，证明当 时命题也成立。

那么由⑴⑵就可以判定命题对从 开始所有的正整数都成立。

这种证明方法叫数学归纳法。

注：①数学归纳法的两个步骤缺一不可，用数学归纳法证明问题时必须严格按步骤进行；

3 的取值视题目而4 定，5 可能是1，6 也可能是2等。