Professional Documents
Culture Documents
Tautology
Tautology
Example: p ∨¬p
A contradiction is a proposition which is always false.
Example: p ∧¬p
A contingency is a proposition which is neither a
tautology nor a contradiction, such as p
Logical biconditional ≡