$number{01}假言判断及推理一课件目录•假言判断•充分条件假言判断•必要条件假言判断•充分必要条件假言判断01假言判断假言判断又称条件判断，它反映的是事物间的条件关系，即如果一个事物情况存在，则另一个事物情况也存在。逻辑形式如果P，那么Q。假言判断的定义123假言判断的分类充分必要条件假言判断当且仅当P，才Q，即P和Q同时存在或同时不存在。充分条件假言判断如果P，则Q，即P存在时，Q一定存在。必要条件假言判断只有P，才Q，即P不存在时，Q一定不存在。0302如果P，则Q：P→Q01假言判断的逻辑形式当且仅当P，才Q：PQ↔只有P，才Q：P←Q02充分条件假言判断一个判断，其前件是后件的充分条件。充分条件假言判断如果天下雨（前件），那么地面会湿（后件）。在这里，“天下雨”是“地面会湿”的充分条件。例如充分条件假言判断的定义如果P，则QP->Q充分条件假言判断的逻辑形式如果P为真，并且Q也为真，那么可以推断出P->Q为真。如果P->Q为真，并且Q为假，那么可以推断出P为假。充分条件假言判断的推理规则否定后件式肯定前件式03必要条件假言判断实例必要条件假言判断逻辑形式必要条件假言判断的定义如果一个人想成功，那么他必须努力工作；不努力工作的人不会成功。表示某一事物情况是另一事物情况存在的必要条件的假言判断。如果P，则Q；非P→非Q。如果P，则Q，即P是Q的必要条件。逻辑形式表示如果一个人想通过考试，那么他必须学习；不学习的人无法通过考试。实例必要条件假言判断的逻辑形式否定后件式如果P，则Q；非Q→非P。实例如果一个人想成为律师，那么他必须通过司法考试；如果一个人没有通过司法考试，那么他不能成为律师。肯定前件式如果P，则Q；P→Q。必要条件假言判断的推理规则04充分必要条件假言判断一个判断，其前件和后件之间的逻辑关系是充分必要条件关系。充分必要条件假言判断如果一个条件存在，则另一个条件一定存在，反之亦然。充分必要条件充分必要条件假言判断的定义如果P，那么Q如果非P，那么非Q充分必要条件假言判断的逻辑形式充分必要条件假言判断的推理规则肯定前件式如果P，那么Q。已知P为真，可以推出Q为真。否定后件式如果P，那么Q。已知Q为假，可以推出P为假。双否前提式如果P，那么Q。已知非Q为真，可以推出非P为真。THANKS
