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.
Synonym for conditional propositional form.
| P | Q | P → Q |
| T T F F |
T F T F |
T F T T |