常用逻辑用语i.docVIP

知识结构框图 命题 可以判断真假的语句叫做命题． 例如：3是12的约数；O．5是整数都是命题． (1)并不是任何语句都是命题．一般来说，疑问句、祈使句、感叹句都不是命题．(2)一个命 题，一般可以用小写英文字母表示，如p、q、r、…． 在两个命题中，如果第一个命题的条件 (或题设)是第二个命题的结论 ，且第一个命题的结论是 第二个命题的条件，那么这两个命题叫做互逆命题，如果 把 第一题叫做原命题，那么另一个命 题叫做原命题的逆命题． 一个命题的条件和结论分别是另一个命题的条件否定和结论否定那么这个命题 叫做原命题的否命题．把其中一个命题叫做原命题，另一个命题就叫做原命题的否命题． 一个命题的结论和条件别是另一个命题的条件否定和结论否定那么这个命题，这样的两个命题叫做互为逆互否命题把其中一个命题叫做原命题，另一个命题就叫做原命题的逆否命题． 一般地，用P和q分别表示原命题的条件和结沦，用?p,?q分别表示p和q的否定，于是四种 命题的形式就是： 原命题：若p则q； 逆命题：若q则p； 否命题：若?p,则?q 逆否命题：?q则?p． 四种命题关系如图 (2)一个命题的真假与其他三个命题的真假有如下四种关系 ①原命题为真，它的逆命题不一定为真； ②原命题为真，它的否命题不一定为真； ③原命题为真，它的逆否命题一定为真； ④逆命题为真，否命题一定为真． 由上表可知，判断充分条件、必要条件、充要条件时应采用以下方法：(1)确定条件p是什 么，结论q是什么；(2)尝试从条件推结论，如果p’q，则充分性成立，p是q的充分条件；(3)再考虑 从结论推奈件，如果q≥p，则p是g的必要条件，必要性成立；(4)证明命题的条件是充要的，就既要 证明充分性又要证明必要性。 l；或：两个简单命题至少有一个成立． 2．且：两个简单命题都成立． 3．非：对一个命题的否定． 不含逻辑联结词的命题叫做简单命题．由简单命题与逻辑联结词构成的命题叫做复合命题． 简单命题常用 p、q、r等表示．复合命题有三类：①p或q；②p且q；③非p． 表示命题真假的表叫做真值表．利用真值表可判断复合命题的真假． pqP或qp且q非p真真真真假真假真假假假真真假真假假假假真 (1)全称量词 短语“所有”在陈述中表示所述事物的全体，逻辑中通常叫做全称量词，并用符号“?”表示． (2)全称命题 含有全称量词的命题叫做全称命题．全称命题就是形如“对M中的所有x，p(x)”的命题．用符 号简记为?x∈M，p(x)． 全称命题的否定为)特称命题?x0∈∈M，?p(x0) (3)存在量词 短语“有一个”或“有些 ”或“至少有一个”在陈述中表示所述事物的个体或部分，逻辑中通常叫做 存在量词，并用符号“?”表示． f4)特称命题 含有存在量词的命题做特称命题，用符号简记为?x0∈∈M，p(x0)． 特称命题命题的否定为)全称命题?x∈∈M，?p(x) 解题方法 数学思想方法 在处理问题时．把待解决或难解决的问题，通过某种转化过程．归结为一类已经解决或较易解决 的问题，最终求得问题的解答。这就是转化与化归思想．转化后的新问题与原问题实质一样时．这样 的转化我们叫它等价转换． 数形结合的解题方法 就是把数学问题中的数量关系和空间形式结合起来探索分析的思维方法．其实质就是将抽象的数学语言和直观的图形结合起来，抽象思维和形象思维结合起来，使抽象问题具体化，复杂问题简单化，通过“数 ”和“形 ”的联系和转化，化难为易，增强直观性，从而使问题得到解决． 分类讨论思想 分类讨论思想的实质策略是“化整为零，各个击破”，即将“整体问题’’化为“部分问题”，分类讨论 的原则是适时适地地恰当分类，不重不漏合理讨论． 反证法 (1)反证法是常用的间接证法之一．它的实质是当证明“若p则q ”感到困难时，改证命题“若p则?q ”不成立． 反证法证题步骤： 第一步，假设结论反面成立； 第二步，从这个假设出发，推理论证，得出矛盾； 第三步，由矛盾判定假设不成立，从而肯定结论正确． 由于原命题与它的逆否命题等价，即具有相同的真假性，在直接证明原命题有困难时，可以考虑 证明与它等价的逆否命题，这种方法是间接证明命题的方法，它是反证法的一种． 充要条件 。 p?q 则。 p?qq?p 则p是q成立的充分不必要条件。 p?qq?p 则p是q成立的必要不充分条件。 集合间的关系与充要条件 设与p相应的集合为