常用逻辑用语.docxVIP

知识点一：命题 定义： 一般地，我们把用语言、符号或式子表达的，可以判断真假的语句叫做命题 （1） 命题由题设和结论两部分构成.命题通常用小写英文字母表示，如p,q,r,m,n等. （2） 命题有真假之分，正确的命题叫做真命题，错误的命题叫做假命题数学中的定义、 公理、定理等都是真命题 （3） 命题“ iq ”的真假判定方式： 若要判断命题“ p—g ”是一个真命题，需要严格的逻辑推理；有时在推导时加上语气 词“一定”能帮助判断。如：# 一定推出勺. 若要判断命题“ ”是一个假命题，只需要找到一个反例即可. 注意：“尸不一定等于3”不能判定真假，它不是命题. 逻辑联结词： “或”、“且”、“非”这些词叫做逻辑联结词. （1） 不含逻辑联结词的命题叫简单命题，由简单命题与逻辑联结词构成的命题叫复合命题. （2） 复合命题的构成形式： p或q；②p且q；③非p （即命题p的否定）. （3） 复合命题的真假判断（利用真值表）： C 星火教育 引导教育专家 P 4 非P p且g 真 真 假 真 真 真 假 假 真 假 假 真 真 真 假 假 假 真 假 假 当p、q同时为假时，“P或q”为假，其它情况时为真，可简称为“一真必真”； 当p、q同时为真时，“P且q”为真，其它情况时为假，可简称为“一假必假”. “非P”与P的真假相反. 注意： （1）逻辑连结词“或”的理解是难点，“或”有三层含义，以P或q”为例：一是p成立 且q不成立，二是p不成立但q成立，三是p成立且q也成立。可以类比于集合中“ 或工繇” （2） “或”、“且”联结的命题的否定形式： “p或q”的否定是“「p且「q”； “p且q”的否定是“「p或「q” . （3） 对命题的否定只是否定命题的结论；否命题，既否定题设，又否定结论 知识点二：四种命题 四种命题的形式： 用p和q分别表示原命题的条件和结论，用」p和」q分别表示p和q的否定，则四种命题 的形式为： 原命题：若p则q；逆命题：若q则p； 否命题：若」p则」q；逆否命题：若」q则」p. 四种命题的关系 逆命题若觇k I否 逆否命题 若「觇卜口 原命题O逆否命题.它们具有相同的真假性，是命题转化的依据和途径之一. 逆命题O否命题，它们之间互为逆否关系，具有相同的真假性，是命题转化的另一 依据和途径. 除①、②之外，四种命题中其它两个命题的真伪无必然联系 命题与集合之间可以建立对应关系，在这样的对应下，逻辑联结词和集合的 运算具有一致性，命题的“且”、“或”、“非”恰好分别对应集合的“交”、“并”、 “补”因此，我们就可以从集合的角度进一步认识有关这些逻辑联结词的规定. 知识点三：充分条件与必要条件 定义： 对于“若P则q”形式的命题： 从逻辑观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也不 必要条件的判定在于区分命题的条件P与结论q之间的关系. 若phq，则p是q的充分条件，q是p的必要条件； 若p^q，但q^p，则p是q的充分不必要条件，q是p的必要不充分条件； 若q n p且p更〉q，则p是q成立的必要不充分条件； 若既有p = q，又有q^p，记作pOq，则p是q的充分必要条件（充要条件）； 若p更〉q且q择p，则p是q成立的既不充分也不必要条件. 从集合的观点上，关于充分不必要条件、必要不充分条件、充分必要条件、既不充分也 不必要条件的判定在于判断p、 q相应的集合关系. 建立与p、q相应的集合，即p : A =｛x|p G）成立｝，q : B = |q （x）成立｝. 若AcB，则p是q的充分条件，若A写B，则p是q成立的充分不必要条件； 若BcA，则p是q的必要条件，若B生A，则p是q成立的必要不充分条件； 若A = B，则p是q成立的充要条件； 若AC B且B卫A，则p是q成立的既不充分也不必要条件. 理解： （1）在判断充分条件与必要条件时，首先要分清哪是条件，哪是结论；然后用条件推结论， 再用结论推条件，最后进行判断. 充要条件即等价条件，也是完成命题转化的理论依据.“当且仅当”、“有且仅有”、 “必须且只须”.“等价于”“…反过来也成立”等均为充要条件的同义词语. 判断命题充要条件的三种方法 定义法： 等价法：由于原命题与它的逆否命题等价，否命题与逆命题等价，因此，如果原 命题与逆命题真假不好判断时，还可以转化为逆否命题与否命题来判断.即利用 盅5与rg=-H； En』与「H=-3； 与心小的等价关系，对于 条件或结论是不等关系(或否定式)的命题，一般运用等价法. 利用集合间的包含关系判断，比如A】B可判断为AmB； A=B可判断为AmB，且 BnA，即 AoB. 如图： “』w” ，且xeA是工已月的充分不必 要条件. “且=月” o “拓Ao 券月” o盂聂是券月的充