conditional proof (1) The argument form ‘B follows from A; therefore, if A then B’ and arguments of this form. (2) The rule of inference that permits one to infer a conditional given a derivation of its consequent from its antecedent. This is also known as the rule of conditional proof or /- introduction. G.F.S.