选修2-1常用逻辑用语学生专用

常用逻辑用语

知识导航

1. 定义：一般地，我们用语言、符号或式子表达的，能够判断真假的陈述句，叫做命题；其中判断为准确的命题，为真命题；判断为不准确的命题，为假命题。

2. 辨析：能够分辨哪一个是命题及其真假

①判断一个语句是否是命题，关键在于能否判断其真假。语句可分为疑问句、祈使句、感叹句与陈述句。一般的，只有陈述句能分辨真假，其他类型的句子无所谓真假，我们把每个能分辨真假的陈述句作为一个命题。

②对于一个句子，有时我们可能无法判断其真假，但对这个句子却是有真假的，如：“太阳系外存有外星人”，对于这个句子所描述的情形，当前确定其真假，但从事物的本质来说，句子本身是能够判断其真假的。这类语句也称为命题。语句是不是命题，关键在于能不能判断其真假，也就是判断其是否成立。

③不判断真假的语句，就不能叫命题。“X<2”。

3.原命题与逆命题

即在两个命题中，如果第一个命题的条件（或题设）是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫做互逆命题；如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆命题.

4. 否命题与逆否命题

即在两个命题中，一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定，这样的两个命题就叫做互否命题，若把其中一个命题叫做原命题，则另一个就叫做原命题的否命题.

5. 原命题与逆否命题

即在两个命题中，一个命题的条件和结论分别是另一个命题的结论的否定和条件的否定，这样的两个命题就叫做互为逆否命题，若把其中一个命题叫做原命题，则另一个就叫做原命题的否命题.

6.四种命题的形式

一般到，我们用p和q分别表示原命题的条件和结论，

用┐p 和┐q分别表示p和q的否定，于是四种命题的形

式就是：

原命题：若p则q；

逆命题：若q则p；

否命题：若┐p则┐q；

逆否命题：若┐q则┐p.

7. 四种命题的相互关系

一般的，四种命题的真假性，有且仅有以下四种情况：（四种命题的真假性之间的关系）

两个命题为互逆或互否命题，它们的真假性没相关系.

8. 反证法

欲证“若p 则q ”为真命题，从否定其结论即“非q ”出发，经过准确的逻辑推理导出矛盾，从而“非q ”为假，即原命题为真，这样的证明方法称为反证法 其反证法的步骤：

(1)假设命题的结论不成立，即假设结论的反面成立；

(2)从这个假设出发，通过推理论证，得出矛盾； (3)由矛盾判定假设不准确，从而肯定命题的结论准确

1. 充分条件的定义

如果p 成立时，q 必然成立，即p ⇒q ，我们就说，p 是q 成立的充分条件．（即为使q 成立，只需条件p 就够了）

2. 必要条件的定义

如果B 成立时，A 必然成立，即q ⇒p ，我们就说，q 是p 成立的必要条件．（即为使q 成立，就必须条件p 成立）

3. (1)若p ⇒q ，且q ⇒p ，则称p 是q 的充分必要条件，简称充要条件。说明：①充要条件是互为的；

②“p 是q 的充要条件”也说成“p 与q 等价” 、

③p 当且仅当q”等.

p ⇒q ，且q ⇒p ，则p 是q 的充要条件；

p ⇒q ，但q ⇒p ，则p 是q 的充分而不必要条件；

q ⇒p ，但p ⇒q ，则p 是q 的必要而不充分条件；

p ⇒q ，且q ⇒p ，则p 是q 的既不充分也不必要条件.

1. “或”与日常生活中的用语“或”的意义不同，在日常生活用语中的“或”带有不可兼有的意思，而逻辑用语中的“或”能够同时兼有。对于逻辑用语“或”的理解我们能够借助于集合中的并集的概念：在A x x B A ∈=|{ 或}B x ∈中的“或”是指 “A x ∈”与“B x ∈”中至少有一个成立，能够是“A x ∈且B x ∉”，也能够是“A x ∉且B x ∈”，也能够是“A x ∈且B x ∈”，逻辑用语中的“或”与并集中的“或”的含义是一样的；

2. 对“且”的理解，能够联想到集合中的交集的概念：在A x x B A ∈=|{ 且}B x ∈

的“且”是指“A x ∈”、“B x ∈”都要满足的意思，即x 既要属于集合A ，又要属于集合B ；

3. 对“非”的理解，能够联想到集合中的补集的概念：“非”有否定的意思，一个命题p 经过使用逻辑联结词“非”构成一个复合命题“非p ”，当p 为真时，非p 为假，当p 为假时，非p 为真。若将命题p 对应集合P ，则命题非p 就对应着集合P 在全集U 中的补集P C U ；对于非的理解，还能够从字意上来理解，“非”本身就具有否定的意思，如“0.5是非整数”是对命题“0.5是整数”实行否定而得出的新命题。一般地，写一个命题的否定，往往需要对正面叙述的词语实行否定。

4. 构造复合命题的方式：简单命题+逻辑连结词（或、且、非）+简单命题。 p q 非p p 或q p 且q

真 真 假 真 真

真 假 假 真 假

假 真 真 真 假

假 假 真 假 假

注意：“命题的否定”与“否命题”是两个不同的概念：前者只否定结论，后者

结论与条件共同否定。

1. 全称量词、全称命题定义：

短语“所有的”“任意一个”在逻辑中通常叫做全称量词，并用符号“ ”表示。（常见的全称量词还有

“一切” “每一个” “任给” “所有的”等 。 ）

含有全称量词的命题，叫做全称命题。

如：

全称命题“对M 中任意一个x ，有p(x)成立 ”可用符号简记为： 简记为

读作“对任意x 属于M ，有p(x)成立”。

2. 存有量词、特称命题定义：

短语“存有一个”“至少有一个”在逻辑中通常叫做存有量词，并用符号“ ”表示。(常见的存有量词还有“有些”“有一个”“对某个”“有的”等 。)

含有存有量词的命题，叫做特称命题。

特称命题“存有M 中的一个x0，使p(x0)成立 ”可用符号简记为：

读作“存有一个x0属于M ，使p(x0)成立”。

(),x M p x ∀∈，00(),x M p x ∃∈，∀