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 |