常用邏辑用语复习教案.docVIP

2-1 第一章 常用逻辑用语 小结与复习(教案) 【知识归类】 1．命题：能够判断真假的陈述句. 2. 四种命题的构成:原命题:若则;逆命题:若则;否命题:若则;逆否命题: 若则. 一个命题的真假与其他三个命题的真假有如下关系: 原命题为真,它的逆命题. 原命题为真,它的否命题. 原命题为真,它的逆否命题. 逆命题为真,它的否命题. 原命题与逆否命题互为逆否命题,它们的真假性是. 逆命题与否命题互为逆否命题,它们同真同假. 3. 充分条件与必要条件: :是充分条件; 是必要条件; . 4. 逻辑联接词: “且”、“或”、“非”分别用符号“”“ ”“ ”表示，意义为： 或：两个简单命题至少一个成立；且：两个简单命题都成立；非：对一个命题的否定. 按要求写出下面命题构成的各复合命题，并注明复合命题的“真”与“假”. :矩形有外接圆; 矩形有内切圆. （真） （假） 非:（假） 5. 全称量词与全称命题：常用的全称量词有：“所有的”、“任意的”、“每一个”、“一切”、“任给”等，并用符号“”表示.含有全称量词的命题叫全称命题. 6. 存在量词与特称命题：常用的存在量词有：“存在一个”、“至少有一个”、“有些”、“有的”、“某个”等，并用符号“”表示.含有存在量词的命题叫特称命题. 7. 对常用的正面叙述的词语填上它们的否定词语: 正面词语 等于