Truth Table
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 |
| 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 |
- 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 |