课题：简易逻辑
教学目标：了解命题的概念和命题的构成；理解逻辑联结词“或”“且”“非”的含义；理解四种命题及其互相关系；反证法在证明过程中的应用．
教学重点：复合命题的构成及其真假的判断，四种命题的关系．
教学过程：
（一）主要知识：
1．理解由“或”“且”“非”将简单命题构成的复合命题；
2．由真值表判断复合命题的真假；
3．四种命题间的关系．
（二）主要方法：
1．逻辑联结词“或”“且”“非”与集合中的并集、交集、补集有着密切的关系，解题时注意类比；
2．通常复合命题“ 或 ”的否定为“ 且 ”、“ 且 ”的否定为“ 或 ”、“全为”的否定是“不全为”、“都是”的否定为“不都是”等等；
3．有时一个命题的叙述方式比较的简略，此时应先分清条件和结论，该写成“若 ，则 ”的形式；
4．反证法中出现怎样的矛盾，要在解题的过程中随时审视推出的结论是否与题设、定义、定理、公理、公式、法则等矛盾，甚至自相矛盾．
（三）例题分析：
例1．指出下列命题的构成形式及构成它的简单命题，并判断复合命题的真假：
（1）菱形对角线相互垂直平分．
（2）“ ”






例2．分别写出命题“若 ，则 全为零”的逆命题、否命题和逆否命题．










例3．命题“若 ，则 有实根”的逆否命题是真命题吗？证明你的结论．