常用逻辑用语(刘家秀).docVIP

第一讲 常用逻辑用语 一、考点梳理 1．命题：一般地，把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题．其中判断为真的语句叫做真命题，判断为假的语句叫做假命题． 判断是否为命题的步骤：①语句是陈述句，②语句有真假。 2．四种命题 (1)一般地，用和分别表示命题的条件和结论，用￢和￢分别表示和的否定，于是四种命题的形式就是： 原命题：若，则； 逆命题：若，则； 否命题：若￢，则￢； 逆否命题：若￢，则￢． (2)四种命题的关系： 判断或证明命题的真假： ①只有互为逆否的两个命题同真假； ②在判断原命题真假困难时可以用逆否命题进行证明； ③在证明命题真假时，通常采用反证法（提出假设-----推出矛盾------肯定结论） 3．充要条件： ⑴从逻辑观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件的判定在于区分命题的条件与结论之间的关系． 若，则是的充分条件，是必要条件； 若且((，则是成立的充分不必要条件； 若且((，则是成立的必要不充分条件； 若且，即，则是成立的充要条件； 若((且((，则是成立的既不充分也不必要条件． ⑵从集合的观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不必要条件的判定在于判断、相应的集合关系． 建立与、相应的集合，即成立，成立． 若，则是的充分条件，若，则是成立的充分不必要条件； 若，则是的必要