常用逻辑语言.docVIP

PAGE 1曾嘉学案 PAGE 1 常用逻辑语言 命题及其关系 命题的定义 我们把用语言、符号或式子表达的，可以判断真假的语句叫做命题，其中判断为真的语句叫做真命题，判断为假的语句叫假命题． 命题的结构 数学中，具有“若，则”这种形式的命题是常见的，我们把这种命题中的称为命题的条件，称为命题的结论． 复合命题：不含逻辑联结词的命题叫简单命题，由简单命题与逻辑联结词构成的命题叫复合命题． 逻辑联结词 且 = 1 \* GB3 ①定义：一般地，用逻辑联结词“且”把命题和联结起来，就得到一个新命题，记作，读作“且”． 逻辑联结词“且”与日常语言中的“并且”、“及”、“和”相当． 可以用“且”定义集合的交集：． = 2 \* GB3 ②判断命题的真假 当都为真命题，就为真命题；当两个命题中只要有一个命题为假命题， 就为假命题． 或 = 1 \* GB3 ①定义：一般地，用逻辑联结词“或”把命题或联结起来，就得到一个新命题，记作，读作“或”． 逻辑联结词“或”的意义和日常语言中的“或者”相当． 可以用“或”定义集合的并集：． = 2 \* GB3 ②判断命题的真假 当两个命题中，只要有一个命题为真命题时，为真命题；当两个命题都为假命题，为假命题 （3）非 = 1 \* GB3 ①定义：一般地，对命题加以否定，得到一个新的命题，记作，读作“非”或“的否定”． 逻辑联结词“非”（也称为“否定”）的意义是由日常语言中的“不是”“全盘否定”“问题的反面”等抽象而来． 有成立． 可以用“非”来定义集合在全集中的补集：． = 2 \* GB3 ②判断命题的真假 和不能同真同假，其中一个为真，另一个必定为假． 复合问题的真值表： 真 真 真 真 假 真 假 假 真 假 假 真 假 真 真 假 假 假 假 真 全称量词与存在量词 （1）全称量词 = 1 \* GB3 ①定义：短语“对所有的”“任意一个”在逻辑中通常叫做全称量词，用符号“”表示，含有全称量词的命题，叫做全称命题． = 2 \* GB3 ②全称命题的否定： 全称命题 ：，；它的否定是 ：，． 将全称量词变为存在量词，再否定它的性质． （2）存在量词 = 1 \* GB3 ①定义：短语“存在一个”“至少有一个”在逻辑中通常用叫做参在量词，用符号“”表示，含有存在量词的命题，叫做特称命题． = 2 \* GB3 ②存在性命题的否定： 存在性命题 ：，；它的否定是 ：，． 将存在量词变为全称量词，再否定它的性质． 四种命题 四种命题的形式：用和分别表示原命题的条件和结论，用和来表示和的否定，于是四种命题的形式就是：原命题：若，则；逆命题：若，则；否命题：如果，则；逆否命题：如果，则． 关于逆命题、否命题与逆否命题，也可以如下表述： 交换原命题的条件和结论，所得的命题是逆命题． 如：同位角相等，两直线平行． 它的逆命题就是：两条直线平行，同位角相等． 同时否定原命题的条件和结论，所得的命题是否命题 如上例的否命题是：同位角不相等，两直线补平行． 交换原命题的条件个结论，并同时否定，所得的命题是逆否命题． 如上例：两条直线不平行，同位角不相等． 四种命题的相互关系 （1）四种命题以及它们之间的关系 原命题为真，它的逆命题不一定为真； 如：原命题“若，则”是真命题，它的逆命题“若，则”是假命题． 原命题为真，它的否命题不一定为真； 如：原命题“若，则”是真命题，它的否命题“若，则”是假命题． 原命题为真，它的逆否命题一定为真； 如：原命题“若，则”是真命题，它的否命题“若，则”是假命题． 互为逆否的命题是等价命题，它们同真同假， 综上所述：在一个命题的四种命题中，真命题的个数要么是0个，要么是2个，要么是4个． 一般四种命题的真假性，有且仅有一下四种情况： 原命题 逆命题 否命题 逆否命题 真 真 真 真 真 假 假 真 假 真 真 假 假 假 假 假 命题的否定与否命题的区别 若命题为“若，则”，则其命题的否定：“若，则”，而其否命题是：“若，则”． 充分条件与必要条件 充分条件与必要条件 一般的，“若则”为真命题，是指由通过推理可以得出．这时，我们就说，由可以推出．记作： 充要条件：一般的，如果既有，又有，记作．此时，说是的充分必要条件，简称充要条件． 充分条件、必要条件、充要条件理解 （1）从逻辑推理关系上看 = 1 \* GB3 ①若，但，则是的充分而不必要条件； = 2 \* GB3 ②若，且，那么是的必要不充分条件； = 3 \* GB3 ③若 ，但（或且），则是的充要条件； = 4 \* GB3 ④若，且，则既不是的充分不必要条件． 从集合与集合之间关系看 = 1 \*