(3)命题p且q中p、q有一假为假，p或q有一真为真，p与p必定是一真一假．

　　4．量词与含有一个量词的命题否定

　　(1)短语"所有""任意""每一个"等表示全体的量词在逻辑中通常称为全称量词．

　　(2)短语"有一个""有些""存在一个""至少一个"等表示部分的量词在逻辑中通常称为存在量词．

　　(3)含有全称量词的命题叫作全称命题，含有存在量词的命题叫作特称命题．

　　(4)对全称(特称)命题进行否定的两步操作

　　①改写量词：找到命题所含的量词，没有量词的要结合命题的含义加上量词，再改变量词．

　　②否定结论：对原命题的结论进行否定．

　　提醒：若命题p是真命题，则p是假命题；若命题p是假命题，则p是真命题．

四种命题及其真假 　　【例1】　(1)给出下列三个命题：

　　①"全等三角形的面积相等"的否命题；

　　②"若lg x2＝0，则x＝－1"的逆命题；

　　③若"x≠y或x≠－y，则|x|≠|y|"的逆否命题．

　　其中真命题的个数是(　　)

　　A．0　　　　　　　　 B．1

　　C．2 D．3

　　B　[对于①，否命题是"不全等三角形的面积不相等"，它是假命题；对于②，逆命题是"若x＝－1，则lg x2＝0"，它是真命题；对于③，逆否命题是"若|x|＝|y|，则x＝y且x＝－y"，它是假命题，故选B.]

(2)将下列命题改写成"若p，则q"的形式，并写出它的逆命题、否命题和逆否命题以及判断它们的真假．