上海空中课堂 数学学科 必修一 1.2 常用逻辑用语 ①

（比较匆忙，稍打一点，主要让大家有个印象）

一、命题

用自然语言、符号或式子表达，且可以判断其真假的语句叫做命题。命题通常用陈述句表述

标准形式：若α，则β。

二、如何判断一个命题的真假

真子集用集合语言描述：

假命题的判断

三、如何用集合语言描述一个标准形式的真命题

推出关系（打不出来，将就看看吧）

例题

四、课堂小结+作业