先介绍一个符号
推出符号＝>(这个东西念“推出”，做逻辑题肯定要用到的东西，废话一句……)在这个符号左边的东西称为前件，右边的东西称为后件
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
逆否命题的使用很重要！为什么重要？因为这个往往可以让我们发觉出题目中给的隐藏条件。