常用逻辑用复习.docVIP

第一章　常用逻辑用语复习 第一讲　命题及其关系、充要条件与必要条件 一．四种命题及其相互关系 1．命题的定义：我们把用语言、符号或式子表达的，可以判断真假的　　　　叫做命题。其中判断为真的语句叫做　　　　，判断为假的语句叫做　　　　。 2．命题的结构：在数学中，具有“若则”这种形式的命题是较为常见的，我们把这种形式的的命题中的叫做　　　　　　，叫做　　　　　　。 3．四种命题的概念：一般地，用和分别表示原命题的条件和结论，用和分别表示和的否定，于是四种命题的形式就是 原命题：若则；逆命题：　　　　；否命题：　　　　；逆否命题：　　　　。 关于逆命题、否命题与逆否命题，也可以如下表述：（1）交换原命题的条件和结论，所得的命题是原命题的　　　　　；（2）同时否定原命题的条件和结论，所得的命题是原命题的　　　　　；（3）交换原命题的条件和结论，同时进行否定，所得的命题是原命题的　　　　　。 4四种命题之间的相互关系如下图所示： 　　由上图知逆命题与否命题也互为逆否命题，因此这四种命题的真假之间的关系如下：（1）两个命题互为逆否命题，它们具有相同的　　　　；（2）两个命题为互逆命题或互否命题，它们的真假性　　　　　　。 5．反证法：由于原命题与它的逆否命题具有相同的真假性，所以我们在直接证明某一命题有困难时，可以通过证明　　　　　　　　，来间接地证明原命题为真命题，这种证明的方法，称作