考研管综逻辑基础备考知识点：假言判断

     一、条件关系的类型

　　(一)充分条件

　　当p存在时，q就一定存在。简言之，就是：有p必有q。

　　例如“天下雨”与“地面湿”之间，就具有充分条件关系。

　　（二）必要条件

　　当p不存在时，q一定不存在。简言之，就是：无p必无q。

　　例如，“地面湿”与“天下雨”之间，就具有必要条件关系。因为，地面不湿，天上就一定没有下雨。

　　（三）充分必要条件

　　当p存在时，q就一定存在；当p不存在时，q就一定不存在。简言之，就是：有p必有q，无p必无q。

　　例如，“考试满分”与“每道题都对”之间，就具有充分必要条件关系。因为，考试满分，一定是每道题都对；同时，每道题都对，一定能考试满分。

　　二、假言判断的类型

　　（一）充分条件假言判断的逻辑形式：如果p，那么q。

　　如果我们用符号“→”表示充分条件假言判断的逻辑联结词，那么，充分条件假言判断就可表示为下述这样一个公式：p→q（读作：p推出q）。

　　（二）必要条件假言判断逻辑形式：只有p，才q。

　　如果我们用符号“→”来表示必要条件假言判断的联结词，必要条件假言判断就可写成公式：q→p（读作：q推出p）。

　　（三）充分必要条件假言判断逻辑形式：p当且仅当q。

　　从上述关于充分必要条件假言判断的定义和举例中可以看出，充分必要条件假言判断的前件和后件的真值是相同的。因此，逻辑学中通常用表示等值的符号“←→”来表示充分必要条件假言判断的联结词，所以，充分必要条件假言判断的公式就是：p←→q（读作：p等值于q）。

　　掌握了用“→”表示的公式之后，我们还需要记住常见的假言判断逻辑关联词，从而断定它们的条件关系。

　　充分条件关系：“如果p，那么q”、“只要p，就q”、“一旦p，就q”、“p离不开q”、“p是q的充分条件”。

　　必要条件关系：“只有p，才q”、“p，才能q”、“p是q的必要条件”。

　　充分必要条件关系：“p当且仅当q”。

　　掌握了假言判断的类型以后，希望大家可以在遇到相应题型时运用知识点做题，而不是靠自身理解，这样才能更好地保证其正确率。

+1