wiki#material-conditional#material-conditional1page tagged with "material-conditional"reasoningimplication (if-then)— logical conditional operator expressing that if the antecedent is true, then the consequent must be trueback to wiki