充分条件假言命题推理:假言命题推理口诀[朗读]

充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理.充分条件假言推理有两条规则:规则1:肯定前件,就要肯定后件;否定前件,不能否定后件.规则2:

充分必要条件假言推理是根据充分必要条件假言命题的逻辑性质进行的推理.充分必要条件假言推理有两条规则:规则1:肯定前件,就要肯定后件;肯定后件,就要肯定。

要理解这个问题,首先要明白充分条件假言命题的逻辑性质.充分条件假言命题是指前件是后件的充分条件,所谓充分条件是指:前件真,后件必真;前件假,后件可真可假.反过来,后件真,前件可真可假;后件假,前件必假.也意味着前件真而后件假或者后件假而前件真是不可能的.所以,充分条件假言推理有两种有效式:肯定前件式和否定后件式.肯定前件式是指“肯定前件就要肯定后件”;否定后件式是指“否定后件就要否定前件”。

必要条件假言命题,其表达公式为:只有p,才q或p←q.前件后件逻辑值例子真真真只有来电灯才亮真假真来电了电灯没亮假真假没来电灯亮了假假真没来电灯没亮。

充分条件假言命题和充分条件假言推理密切联系,所谓充分条件假言推理是指前提中有充分条件假言命题,并且根据充分条件假言命题的逻辑性质进行推演的推理形式。