常用逻辑用语复习知识网络 常用逻辑用语命题及其关系简单的逻辑联结词全称量词与存在量词四种命题充分条件与必要条件量词全称量词存在量词含有一个量词的否定或且非并集交集补集运算命题的形式：“若P, 则q” 通常,我们把这种形式的命题中的P叫做命题的条件,q叫做结论.记做:一.用语言、符号或式子表达的，可以判断真假的陈述句称为命题其中判断为真的语句称为真命题，判断为假的语句称为假命题若p 则q逆否命题：原命题：逆命题：否命题：若q 则p若 p 则 q若 q 则 p二、 四 种 命 题结论1：要写出一个命题的另外三个命题关键是分清命题的题设和结论（即把原命题写成“若p则q”的形式）注意：三种命题中最难写 的是否命题。结论2 ：（1）“或”的否定为“且”，（2）“且”的否定为“或”，（3）“都”的否定为“不都”。三、四种命题之间的 关系原命题若p 则q逆命题若q 则p否命题若p 则q逆否命题若q 则p互逆互否互否互逆（2） 若其逆命题为真，则其否命题一定为真。但其原命题、逆否命题不一定为真。 (1)原命题与逆否命题同真假。(2)原命题的逆命题与否命题同真假。（1） 原命题为真，则其逆否命题一定为真
