充分条件、必要条件一.doc

MACROBUTTON MTEditEquationSection2 SEQ MTEqn \r \h SEQ MTSec \r 1 \h SEQ MTChap \r 1 \h 1.5（1）充分条件、必要条件 教学目标: 1．经历充分条件和必要条件概念的形成过程，体会与理解充分条件、必要条件的意义；掌握有关的逻辑知识，逐步养成合理与严密的逻辑推理习惯； 2．能在简单的问题情境中判断条件的充分性和必要性。 教学重点：理解充分条件、必要条件的概念；在问题情景中判断条件的充分性与必要性。 教学难点：掌握充分条件、必要条件的判断。 教学过程： 情景引入 问题1：写出命题“若 SKIPIF 1 0 ，则 SKIPIF 1 0 ”的逆命题、否命题和逆否命题，并分别判断原命题、逆命题、否命题与逆否命题是否是真命题？ （原命题：若 SKIPIF 1 0 ，则 SKIPIF 1 0 .真命题； 逆命题：若 SKIPIF 1 0 ，则 SKIPIF 1 0 .假命题； 否命题：若 SKIPIF 1 0 ，则 SKIPIF 1 0 .假命题；逆否命题：若 SKIPIF 1 0 ，则 SKIPIF 1 0 .真命题.） 问题2：请同学用推断符号“?”“?”写出上述命题。 （ SKIPIF 1 0 ? SKIPIF 1 0 ； SKIPIF 1 0 ? SKIPIF 1 0 ； SKIPIF 1 0 ? SKIPIF 1 0 ； SKIPIF 1 0 ? SKIPIF 1 0 .） 说明：命题“若 SKIPIF 1 0 ，则 SKIPIF 1 0 ”为真，表示如果 SKIPIF 1 0 成立，那么 SKIPIF 1 0 也一定成立，将它表示为 SKIPIF 1 0 ； 命题“若 SKIPIF 1 0 ，则 SKIPIF 1 0 ”为假，表示如果 SKIPIF 1 0 成立，那么 SKIPIF 1 0 不一定成立，可以将它表示为 SKIPIF 1 0 ； 概念形成 命题 SKIPIF 1 0 ? SKIPIF 1 0 中， SKIPIF 1 0 是条件， SKIPIF 1 0 是结论， SKIPIF 1 0 成立，充分保证了结论 SKIPIF 1 0 成立，我们说条件 SKIPIF 1 0 是结论 SKIPIF 1 0 成立的充分条件；由于原命题与逆否命题等价，所以如果条件 SKIPIF 1 0 不成立，那么结论 SKIPIF 1 0 也必不成立，即条件 SKIPIF 1 0 是结论 SKIPIF 1 0 成立必须具备的，即条件 SKIPIF 1 0 是结论 SKIPIF 1 0 成立的必要条件。 定义：一般地，用 SKIPIF 1 0 、 SKIPIF 1 0 分别表示两个命题，如果命题 SKIPIF 1 0 成立，可以推出命题 SKIPIF 1 0 也成立，即 SKIPIF 1 0 ，那么 SKIPIF 1 0 叫做 SKIPIF 1 0 的充分条件， SKIPIF 1 0 叫做 SKIPIF 1 0 的必要条件。 说明：（1）由于“ SKIPIF 1 0 ”与“ SKIPIF 1 0 ”等价，故 SKIPIF 1 0 是 SKIPIF 1 0 的必要条件。 （2）“ SKIPIF 1 0 ”，“ SKIPIF 1 0 是 SKIPIF 1 0 的充分条件”，“ SKIPIF 1 0 是 SKIPIF 1 0 的必要条件”是同一逻辑关系