Relationship between two propositional forms P and Q, noted "P → Q" or "if P then Q", that is false only if the antecedent P is true and the consequence Q is false.