先介绍一个符号
推出符号＝>(这个东西念“推出”,做逻辑题肯定要用到的东西,废话一句……)在这个符号左边的东西称为前件,右边的东西称为后件
A＝>B 这是一切逻辑关系的基础
逻辑符号 ＝> 是不能逆推的
我们说,A是B的充分条件,B是A的必要条件,这都没什么
关键的地方是一句文字表达的话,你怎么抽象出这样一个式子和关系
表示充分条件的关联词：
“如果A那么B”
“如果A就B”
“只要A就B”
“若A则B”
“一A就B”
看到这些关联词,说明句子表示的是充分条件关系,前件推后件A ＝> B
表示必要条件的关联词：
“只有A才B”
“除非A否则不B”
看到那个“不”字没有?一定一定一定要记住,必要条件是：除非……否则不……!
原题里面没有也要给它加上去,不然会弄错的
看到这些关联词,说明句子表示的是必要条件关系,后件推前件B ＝> A
判断条件是充分条件还是必要条件,这很重要.
因为逻辑符号 ＝> 是不能逆推的,你的判断就关系到这个式子的写法正确与否.
接下来是逆否命题,在这里我们说两点,
1.原命题和逆否命题同真假
2. A ＝> B的逆否命题是 非B ＝> 非A
逆否命题的使用很重要!为什么重要?因为这个往往可以让我们发觉出题目中给的隐藏条件.