1.常用逻辑用语

(1)命题

命题:可以判断真假的语句叫命题;

逻辑联结词:“或”“且”“非”这些词就叫做逻辑联结词;简单命题:不含逻辑联结词的命题。复合命题:由简单命题与逻辑联结词构成的命题。

常用小写的拉丁字母p,q,r,s,……表示命题,故复合命题有三种形式:p或q;p且q;非p。

(2)复合命题的真值

“非p”形式复合命题的真假可以用下表表示:           

p
非p




“p且q”形式复合命题的真假可以用下表表示:      

p
q
p且q












“p或q”形式复合命题的真假可以用下表表示:      

p
q
P或q












(3)四种命题

如果第一个命题的条件是第二个命题的结论,且第一个命题的结论是第二个命题的条件,那么这两个命题叫做互为逆命题;

如果一个命题的条件和结论分别是原命题的条件和结论的否定,那么这两个命题叫做互否命题,这个命题叫做原命题的否命题;

如果一个命题的条件和结论分别是原命题的结论和条件的否定,那么这两个命题叫做互为逆否命题,这个命题叫做原命题的逆否命题。

两个互为逆否命题的真假是相同的,即两个互为逆否命题是等价命题.若判断一个命题的真假较困难时,可转化为判断其逆否命题的真假。

(4)条件

一般地,如果已知pÞq,那么就说:p是q的充分条件;q是p的必要条件。

可分为四类:

(1)充分不必要条件,即pÞq,而qp;

(2)必要不充分条件,即pq,而qÞp;

(3)既充分又必要条件,即pÞq,又有qÞp;

(4)既不充分也不必要条件,即pq,又有qp。

一般地,如果既有pÞq,又有qÞp,就记作:pq.“”叫做等价符号。pq表示pÞq且qÞp。

这时p既是q的充分条件,又是q的必要条件,则p是q的充分必要条件,简称充要条件。

(5)全称命题与特称命题

这里,短语“所有”在陈述中表示所述事物的全体,逻辑中通常叫做全称量词,并用符号表示。含有全体量词的命题,叫做全称命题。

短语“有一个”或“有些”或“至少有一个”在陈述中表示所述事物的个体或部分,逻辑中通常叫做存在量词,并用符号表示,含有存在量词的命题,叫做存在性命题。

课前练习

1写出命题:“若 x + y = 5则 x = 3且 y = 2”的逆命题否命题逆否命题,并判断它们的真假。

2:“若” 是____命题.(填真、假)

3命题“若ab=0,则ab中至少有一个为零”的逆否命题为         

4:.(填,Ü)

5:条件甲:;条件乙:, 则乙是甲的       条件.

6“α≠β”是cosα≠cosβ”的       条件

 0  392450  392458  392464  392468  392474  392476  392480  392486  392488  392494  392500  392504  392506  392510  392516  392518  392524  392528  392530  392534  392536  392540  392542  392544  392545  392546  392548  392549  392550  392552  392554  392558  392560  392564  392566  392570  392576  392578  392584  392588  392590  392594  392600  392606  392608  392614  392618  392620  392626  392630  392636  392644  447090 

违法和不良信息举报电话:027-86699610 举报邮箱:58377363@163.com

精英家教网