(9)集合判断法
从集合的观点看,建立命题相应的集合:成立,成立,那么:
(1)若,则是的 条件,若时,则是的 条件;
(2) 若,则是的 条件,若时,则是的 条件;
(3)若,则是的 条件,若且时,则是的 条件.
5.逻辑联结词
(10)逻辑联结词:在数学中,有时会使用一些联结词,如 .
(11) "且"记作 ;"或"记作 ;"非"记作 .
(12)命题,和的真假判断
(1)当都是真命题时,为 ;为 ;为 .
(2)当有一个是真命题时,为 ;为 .
(3) 当都是假命题时,为 ;为 ;为 .
上述语句可以描述为:对于"一假必假";对于"一真必真";对于"真假相反"。
可以用下表来判断:(即真值表)
真 真 真 假 假 真 假 假 6.全称量词与存在量词
(13).全称量词:短语 、 在逻辑中通常叫做全称量词,用符号 来表示;
含有全称量词的命题,叫做 .
全称命题"对中任意一个,有成立"可用符号简记为 .