常用逻辑用语知识点总结.docxVIP

常用逻辑用语知识点总结

常用逻辑用语是数学推理和论证的基础工具，贯穿于函数、几何、不等式等多个知识模块。本总结按“命题基础→量词应用→逻辑联结词→充分必要条件”的核心逻辑展开，提炼关键概念、符号表示及推理规则，结合实例解析易混点，适用于同步学习、专题复习及逻辑推理能力提升。

一、命题及其关系

1.1命题的定义与分类

核心定义：可以判断真假的陈述句叫做命题。命题的基本特征是“能判断真假”，即对语句内容进行判断后，结果要么为真（成立），要么为假（不成立），不存在既真又假的情况。

命题的构成：通常由条件和结论两部分组成，可表示为“若p，则q”的形式，其中“p”叫做命题的条件，“q”叫做命题的结论。例如“若x2，则x24”中，条件p：x2，结论q：x24。

命题的分类：①真命题：判断为真的命题，如“对顶角相等”；②假命题：判断为假的命题，如“若x2=4，则x=2”（当x=-2时不成立，故为假命题）。

非命题的判断：不能判断真假的语句不是命题，如疑问句“x是多少？”、祈使句“请认真学习”、感叹句“多么美丽啊！”以及无法确定真假的陈述句“明天会下雨”（未来事件无法即时判断真假）。

1.2四种命题及其相互关系

以“若p，则q”为原命题，通过改变条件和结论的位置或否定形式，可得到逆命题、否命题、逆否命题，这四种命题构成命题的四种形式。

命题类型

形式表示

示例（原命题：若x2，则x24）

原命题

若p，则q（p→q）

若x2，则x24（真命题）

逆命题

若q，则p（q→p）

若x24，则x2（假命题，x=-3时不成立）

否命题

若?p，则?q（?p→?q，“?”表示否定）

若x≤2，则x2≤4（假命题，x=-3时不成立）

逆否命题

若?q，则?p（?q→?p）

若x2≤4，则x≤2（真命题）

四种命题的真假关系

①原命题与逆否命题：同真同假（等价关系），这是命题推理中“反证法”的逻辑基础。例如原命题“对顶角相等”为真，其逆否命题“若两个角不相等，则这两个角不是对顶角”也为真。

②逆命题与否命题：同真同假（等价关系），因为逆命题和否命题互为逆否命题。例如逆命题“若x24，则x2”为假，其否命题“若x≤2，则x2≤4”也为假。

③原命题与逆命题、原命题与否命题：真假性无必然联系，可能同真、同假或一真一假。

二、全称量词与存在量词

2.1全称命题与特称命题

量词是表示“全部”“部分”等范围的词语，分为全称量词和存在量词，对应的命题分别为全称命题和特称命题。

类型

量词符号

命题形式

示例

真假判断

全称命题

全称量词“任意”“所有”（?）

?x∈M，p(x)（对集合M中所有x，p(x)成立）

?x∈R，x2≥0（对所有实数x，x2都大于等于0）

真命题（需证明所有情况成立）

特称命题

存在量词“存在”“有一个”（?）

?x?∈M，p(x?)（集合M中存在一个x?，使p(x?)成立）

?x?∈R，x?2=-1（存在实数x?，使x?2=-1）

假命题（需证明不存在满足条件的x?）

2.2命题的否定

命题的否定是对命题结论的否定，与原命题真假性相反。需注意全称命题与特称命题的否定存在“量词互换”的规律。

原命题类型

原命题形式

命题的否定形式

示例（原命题→否定）

全称命题

?x∈M，p(x)

?x?∈M，?p(x?)（量词换，结论否）

?x∈R，x2≥0→?x?∈R，x?20

特称命题

?x?∈M，p(x?)

?x∈M，?p(x)（量词换，结论否）

?x?∈R，x?2=-1→?x∈R，x2≠-1

非量词命题（“若p则q”）

若p，则q

若p，则?q（只否定结论）

若x2，则x24→若x2，则x2≤4

易错提醒：全称命题的否定不是全称命题，特称命题的否定不是特称命题，需严格遵循“量词互换+结论否定”的规则，不可仅否定结论而不换量词。例如“?x∈R，x0”的否定是“?x?∈R，x?≤0”，而非“?x∈R，x≤0”。

三、简单的逻辑联结词

逻辑联结词用于连接简单命题，构成复合命题，常用的有“且（∧）”“或（∨）”“非（?）”三种，其核心是根据简单命题的真假判断复合命题的真假。

3.1三种逻辑联结词的含义与真假判断

联结词

符号表示

复合命题形式

含义

真假判断规则

示例（p：2是偶数；q：3是奇数）

且

∧

p∧q（p且q）

p和q同时成立

当p、q都为真时，p∧q为真；否则为假（一假即假）

2是偶数且3是奇数（真命题）

或

∨

p∨q（p或q）

p和q中至少有一个成立

当p、q都为假时，p∨q为假；否则为真（一真即真）

2是偶数或3是偶数（真命题，因p为真）

非

?

?p（非p）

对p的否定

p为真时，?p为假；p为假时，?p为真（真假相反）

非“2是偶数”（假命题）

3.2常见误区辨析

①“或”的含义：逻辑中的“或”是“至少一个