第一节常用逻辑语言培优卷.docVIP

常用逻辑语言

【知识要点】

一、命题及其关系

命题的定义与结构

我们把用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫做真命题，判断为假的语句叫做假命题。

并不是任何语句都是命题，只有那些能判断真假的语句才是命题。一般来说，开语句、疑问句、祈使句、感慨句都不是命题

要判断一个语句是不是命题，就要看它是否符合“可以判断真假”这个条件。

四种命题

一般地，用和分别表示原命题的条件和结论，用和分别表示和的否认，于是四种命题的形式就是：

原命题：假设，那么；逆命题：假设，那么；否命题：假设，那么；逆否命题：假设，那么。

四种命题间的相互关系

互否

互否

逆否命题

逆命题

互逆

互逆

原命题

互否

否命题

假设两个命题互为逆否命题，那么它们有相同的真假性；

假设两个命题为互逆命题或互否命题，那么它们的真假性没有关系

充分与必要条件

充分条件、必要条件。一般地，如果，那么称是的充分条件，同时称是的必要条件。

充要条件：一般地，如果，且，那么称是的充分必要条件，简称是的充要条件，记作

从逻辑推理的观点看，有：

①如果，且，那么称是的充分不必要条件。

②如果，且，那么称是的必要不充分条件。

③如果，且，那么称是的充要条件

④如果，且，那么称是的既不充分也不必要条件

从集合与集合之间关系上看，有：

假设，那么A是B的充分条件

假设，那么A是B的必要条件

假设，那么A是