*逻辑力塔楼*
第2组2张便签 条件论证
[原文] 简单逻辑学 126页-128页
01否定前件
图片发自简书App
02肯定后件
图片发自简书App
[I便签]
条件论证，形式A--->B，A是条件，B是结论。A是B成立的条件，但不一定是唯一条件，也就是说可能有A1、A2......An的存在，并且都可能得出B结论，也就是A1、A2......An之间是or的关系，也就是任一成立，B均成立。所以，当B不成立时，也就意味着作为B的条件的A1、A2......An都不会成立。所以，在条件论证时，<肯定前件>和<否定后件>都成立。
图片发自简书App
那么在什么时候条件论证不成立呢？
一种情况，否定A，B不一定就是否定的。因为A是条件，但可能不唯一，也就是当A不成立时，可能因为A1、A2......An中任一成立，而导致B成立。换种方式也一样，当B成立时，可能是因为A条件成立，但也可能是因为A1、A2......An中任一成立导致的。所以，不能因为B成立，就可以推导出A一定成立。综上所述，条件论证时不成立的是: <否定前件>和<肯定后件>。
[A1便签]
1、儿子说:"妈，我饿了。" ---> 儿子想要吃东西。
条件论证 <肯定前件> 成立
2、儿子不想吃东西。 ---> 儿子肯定不会说:"妈，我饿了。"
条件论证 <否定后件> 成立
3、儿子不说:"妈，我饿了。" ---> 儿子不想吃东西。
条件论证 <否定前件> 不成立
原因: 儿子说:"妈，我想吃ice cream。"也能推导出儿子想吃东西，所以，单单只是我不饿是不能推导出儿子不想吃东西的。
4、儿子想吃东西。 ---> 儿子说:"妈，我饿了。"
条件论证 <肯定后件> 不成立
原因: 如果儿子想吃东西，可能是因为想吃冰激凌，而不是饿了。
图片发自简书App
