2.常用词语的否定
|
正面词 |
都是 |
任意的 |
所有的 |
至多有一个 |
至少有一个 |
|
反面词 |
不都是 |
某个 |
某些 |
至少有两个 |
一个也没有 |
(二)四种命题
1.一般地,用p和q分别表示原命题的条件和结论,用┐p和┐q分别表示p和q的否定。于是四种命题的形式为:
原命题:若p则q( )
逆命题:若q则p
否命题:若┐p则┐q
逆否命题:若┐q则┐p
|
互 逆 |
|
原命题 若p则q |
|
逆命题 若q则p |
|
否命题 若 则 |
|
逆否命题 若 则 |
|
互 为 |
|
为 互 |
|
否 逆 |
|
逆 否 |
|
互 否 |
|
互 否 |
|
互 逆 |
3.一个命题的真假与其它三个命题的真假有如下四条关系:
(1)原命题为真,它的逆命题不一定为真。
(2)原命题为真,它的否命题不一定为真。
(3)原命题为真,它的逆否命题一定为真。
(4)逆命题为真,否命题一定为真。
(一)逻辑联结词
1.命题:可以判断真假的语句叫做命题
2.逻辑联结词:“或”、“且”、“非”这些词叫做逻辑联结词。
或:两个简单命题至少一个成立 且:两个简单命题都成立, 非:对一个命题的否定
3.简单命题与复合命题:不含逻辑联结词的命题叫做简单命题;由简单命题与逻辑联结词构成的命题叫做复合命题。
4.表示形式:用小写的拉丁字母p、q、r、s…来表示简单的命题,
复合命题的构成形式有三类:“p或q”、“p且q”、“非p”
5.真值表:表示命题真假的表叫真值表;复合命题的真假可通过下面的真值表来加以判定。
|
p |
q |
非p |
P或q |
P且q |
|
真 |
真 |
假 |
真 |
真 |
|
真 |
假 |
假 |
真 |
假 |
|
假 |
真 |
真 |
真 |
假 |
|
假 |
假 |
真 |
假 |
假 |