(共33页PPT)数学推理.ppt

选言推理由选言判断真和除一个选言支以外的其他选言支假,推出这个选言支真。其形式为:假言推理根据假言命题的逻辑性质进行的推理。分为充分条件假言推理,必要条件假言推理和充分必要条件假言推理三种。充分条件假言推理充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。根据规则,充分条件假言推理有两个正确的形式:肯定式:由假言判断真和前件真,推出后件也真,其形式为:这是重要的推理形式。数理逻辑中把这种正确的推理形式叫做分离规则。p∨q﹁pq

文档评论(0)

1亿VIP精品文档

相关文档