【本讲教育信息】
一、教学内容：
常用逻辑用语
二、教学目标：
1. 了解命题的概念和命题的构成；理解逻辑联结词“或”“且”“非”的含义；理解四种命题及其相互关系；反证法在证明过程中的应用.
2. 掌握充分必要条件的意义，能够判定给定的两个命题的充要关系.
三、知识要点分析：
1. 命题：可以判断真假的语句叫做命题.
2. 简单命题和复合命题：不含逻辑联结词的命题叫做简单命题. 简单命题是不含其他命题作为其组成部分（在结构上不能再分解成其他命题）的命题. 由简单命题和逻辑联结词构成的命题叫做复合命题。
3. 量词：短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，含有全称量词的命题，叫做全称命题。
存在量词：短语“有一个”或“有些”或“至少有一个”在陈述中表示所陈述事物的个体或部分，逻辑中通常叫做存在量词，含有存在量词的命题，叫做存在性命题。
4. 逻辑联结词：“或”、“且”、“非”，这些词叫做逻辑联结词.
