|
A truth table for a propositional vocabulary is a table showing all of the possible truth assignments for the proposition constants in the vocabulary.
The following figure shows a truth table for a propositional vocabulary with just three proposition constants (p, q, and r). Each column corresponds to one proposition constant, and each row corresponds to a single truth assignment.
| p |
q |
r |
| 1 |
1 |
1 |
| 1 |
1 |
0 |
| 1 |
0 |
1 |
| 1 |
0 |
0 |
| 0 |
1 |
1 |
| 0 |
1 |
0 |
| 0 |
0 |
1 |
| 0 |
0 |
0 |
Note that, for a propositional vocabulary with n proposition constants, there are n columns in the truth table and 2n rows.
|