课题：简易逻辑

教学目标：了解命题的概念和命题的构成；理解逻辑联结词"或""且""非"的含义；理解四种命题及其互相关系；反证法在证明过程中的应用．

教学重点：复合命题的构成及其真假的判断，四种命题的关系．

（一） 主要知识：

理解由"或""且""非"将简单命题构成的复合命题；

由真值表判断复合命题的真假；

四种命题间的关系．

（二）主要方法：

逻辑联结词"或""且""非"与集合中的并集、交集、补集有着密切的关系，解题时注意类比；

通常复合命题"或"的否定为"且"、"且"的否定为"或"、"全为"的否定是"不全为"、"都是"的否定为"不都是"等等；

有时一个命题的叙述方式比较的简略，此时应先分清条件和结论，该写成"若，则"的形式；

反证法中出现怎样的矛盾，要在解题的过程中随时审视推出的结论是否与题设、定义、定理、公理、公式、法则等矛盾，甚至自相矛盾．

（三）典例分析：

问题1．

分别指出由下列命题构成的"或"、"且"、"非"形式的复合命题的真假：

：，：；

：是奇数，：是质数；

：≤，：不是质数；

问题2．

①分别写出命题"若，则全为零"的逆命题、否命题和逆否命题．

②（江苏）命题"若，则"的否命题为

该命题的否定是 （编者自拟）