Table that indicates, for a set of basic propositions and their negations, the truth value of various compositions of propositions using logical connectors.

### Examples

- Here is the truth table of each of the logical connectors:

P | Q | ¬P | ¬Q | P → Q | ¬P → ¬Q | P ∧ Q | P ∨ Q | P ↔ Q | Q → P | ¬P → ¬Q |

T T F F |
T F T F |
F F T T |
T T F T |
T F T T |
T F F F |
T F F F |
T T T F |
T F F T |
T T F T |
T T F T |

- The truth table of the conjunction of two propositions P and Q is a subset of the previous table:

P | Q | P ∧ Q |

T T F F |
T F T F |
T F F F |