Question

如何区别“假言命题的真假”与“假言命题的推理”？

如：如果天下雨，那么地就会湿。判断真假时，什么情况下用“前件为假，后件无论真假，命题都是真“，什么时候时用”否定后件一定否定前件“进行推理。

Answer 1

假言命题指形式为"如果A则B"的复合命题。又称条件命题。其在前的支命题叫做前件，在后的支命题叫做后件。假言命题陈述一种事物情况是另一种事物情况的条件。
在形式逻辑中，命题联结词"如果，则"被理解为"前件真而后件假"是假的，即"如果 A则B"假，当且仅当A 真而B假；而当A假时，整个复合命题总是真的。
事物间的条件关系有三种：
1. 如果有事物情况A，则必然有事物情况B；如果没有事物情况A而未必没有事物情况B，A就是B的充分而不必要的条件，简称充分条件。
2. 如果没有事物情况A，则必然没有事物情况B；如果有事物情况A而未必有事物情况B，A就是B的必要而不充分的条件，简称必要条件。
3. 如果有事物情况A，则必然有事物情况B；如果没有事物情况A，则必然没有事物情况B，A就是B的充分必要条件。例如：
1. A下雨；B地湿。
2. A特定的一群人中，有一个犯人杀了人；B这群人中有人死了。
3. A三角形等边；B三角形等角。
例1中的A是B的充分条件；例2中的A是B的必要条件；例3中的A是B的充分必要条件。
与此相应，假言命题也有三种，即：充分条件假言命题、必要条件假言命题和充分必要条件假言命题。根据三种不同的假言命题的逻辑性质，相应地，也就有三种不同的假言推理。