有效条件论证形式

条件论证的有效形式之一是肯定前件，对应的无效形式就是否定前件（条件论证中的前一个命题称为前件，后一个命题称为后件）。

条件论证的形式：A→B（表达的意思是如果A成立则B成立）肯定前件的形式是A。所以B。否定前件的形式是-A。所以-B。例子：如果小明在跑步，那么他在移动。肯定前件：小明在跑步，所以小明在移动。否定前件：小明没有在跑步，所以小明没有在移动。同一时刻，小明在跑步，但不可能没有在移动，所以论证的结论是正确的，肯定前件的形式是有效形式。在否定前件形式中，小明没有跑步不是他没有没有移动的充分条件，小明在移动的原因可能是，他在走路或者在跳舞等等，有很多种可能性，论证结论不具备必然性，结论可能正确也可能不正确，因此否定前件形式不是有效形式。在条件论证中，肯定前件是有效形式，否定前件是无效形式。