2018-2019学年北师大版选修2-1 1常用逻辑用语 复习 教案
2018-2019学年北师大版选修2-1  1常用逻辑用语  复习 教案第3页

(9)集合判断法

从集合的观点看,建立命题相应的集合:成立,成立,那么:

(1)若,则是的 条件,若时,则是的 条件;

   (2) 若,则是的 条件,若时,则是的 条件;

   (3)若,则是的 条件,若且时,则是的  条件.

5.逻辑联结词

(10)逻辑联结词:在数学中,有时会使用一些联结词,如       .

(11) "且"记作    ;"或"记作   ;"非"记作   .

(12)命题,和的真假判断

 (1)当都是真命题时,为   ;为   ;为   .

 (2)当有一个是真命题时,为   ;为   .

(3) 当都是假命题时,为   ;为   ;为   .

上述语句可以描述为:对于"一假必假";对于"一真必真";对于"真假相反"。

可以用下表来判断:(即真值表)

真 真 真 假 假 真 假 假 6.全称量词与存在量词

(13).全称量词:短语    、    在逻辑中通常叫做全称量词,用符号   来表示;

  含有全称量词的命题,叫做     .

全称命题"对中任意一个,有成立"可用符号简记为     .