p | q | p & q |
---|---|---|
T | T | T |
T | F | F |
F | T | F |
F | F | F |
p & q is contingent.
Contingent: A statement is contingent just in case it is true in some states of the world (i.e., rows of the truth table), and false in others.
p V ~p is a tautology.
p | ~p | p V ~p |
---|---|---|
T | F | T |
F | T | T |
Tautology: A tautology is a proposition that is true in every possible state of affairs (i.e., every row of the truth table).
p & ~p is a contradiction.
p | ~p | p & ~p |
---|---|---|
T | F | F |
F | T | F |
Contradiction: A contradiction is a proposition that is false in every possible state of affairs (i.e., every row of the truth table).
Key Concepts