当前位置:首页>维修大全>综合>

充分条件推理的第一种有效形式(充分条件假言判断的有效推理形式)

充分条件推理的第一种有效形式(充分条件假言判断的有效推理形式)

更新时间:2024-08-05 23:05:56

充分条件推理的第一种有效形式

根据充分条件命题的逻辑性质进行推理。充分条件命题的逻辑性质是:前件真则后件必真,后件假则前件必假;前件假,后件可真可假,后件真,前件可真可假。

因此充分条件推理的规则有两条:1、肯定前件就要肯定后件,否定后件就要否定前件;2、否定前件不能否定后件;肯定后件不能肯定前件。

这就决定了充分条件推理有两种有效式,即肯定前件式和否定后件式。

充分条件假言推理法有两个有效式:①肯定前件式,在前提中肯定充分条件假言判断的前件,结论必肯定它的后件;②否定后件式,在前提中否定充分条件假言判断的后件,结论就否定它的前件。

充分条件的假言推理有两种有效式:肯定前件式、否定后件式;必要条件的假言推理也有两种有效式:否定前件式、肯定后件式。

更多栏目