Question

必要条件假言判断的有效式

Answer 1

必要条件假言判断的有效式是否定前件式、肯定后件式。

假言判断，又称条件判断，是断定一事物的存在是另一事物存在条件的复合判断。假言判断的真假，并不取决于前件和后件本身的真假，而取决于前件和后件之间是否有条件关系。

断定事物情况之间的条件关系的复合判断。用“如果……那么……”、“只有……才……”等做逻辑联结词，如“如果具有共产主义理想，那么就不怕任何艰难困苦”。规定条件的判断，即“如果”后面的判断，叫“前件”；以前件为条件的判断，即“那么”后面的判断，叫“后件”。条件有必要条件、充分条件、充分又必要条件三种，相应地，假言判断也就有三种。

必要条件是数学中的一种关系形式。如果没有A，则必然没有B；如果有A而未必有B，则A就是B的必要条件，记作B→A，读作“B含于A”。数学上简单来说就是如果由结果B能推导出条件A，我们就说A是B的必要条件。

如果没有事物情况A，则必然没有事物情况B，也就是说如果有事物情况B则一定有事物情况A，那么A就是B的必要条件。从逻辑学上看，B能推导出A，A就是B的必要条件，等价于B是A的充分条件。