Conditional

Conditional (if then) may refer to:

  • Conditional proof, in logic: a proof that asserts a conditional, and proves that the antecedent leads to the consequent