The truth-functional conditional in which the statement is false when the antecedent is true and the consequent is false—that is, on the second row of the truth table. (See also Conditional.)