2简单逻辑 难 讲义.docxVIP

简单逻辑 U. 4 7. T.. 、命题的概念和四种命题 命题的概念 概念：我们把语言、符号或式子表达的，可以判断真假的陈述句称为命题. 其中判断为真的 语句称为真命题，判断为假的语句称为假命题. 注意：并不是任何语句都是命题，疑问句、祈使句、感叹句都不是命题.也就是说，判断 个语句是不是命题的两要素：①命题是陈述句②可以判断真假. 命题的四种形式 1）对于 若P,则q”形式的命题，P称为命题的条件，q称为命题的结论.命题 如果P, 则q ”是由条件P和结论q组成的，对P，q进行 换位”和 换质（否定）”后，可以构成四种 不同形式的命题. 原命题 若P则q 逆命题 若q则P 否命题 若P则q 逆否命题 若q则P 2）四种命题的关系如图所示.  命题 如果P,则q ”的四种形式之间有如下关系: 1 ）互为逆否命题的两个命题等价（同真或同假）.因此证明原命题，也可以证它的逆否命 题. 2）互逆或互否的两个命题与原命题不等价. 注意：注意命题的否定与否命题之间的区别， 前者是命题的反面，且与命题的真假恰好相反; 后者是对条件与结论同时进行否定，它的真假与原命题的真假没有绝对的联系. 二、简单的逻辑联结词 P q，读作“p且1.且：用逻辑联结词 且”把命题 P q，读作“p且 q”逻辑联结词且”与日常语言中的并且”及”、和”相当.可以用且”定义集合的交集:AI B {x|(x A)(X