Tautology and Contradiction
There are logical expressions that are true in every case, and others that are false in every case. These are called tautologies and contradictions, respectively.
Tautology
We call those logical statements tautologies that are true in every case, regardless of the truth values taken by the component statements.
This statement is always true: either p is true, or ¬p is true; there is no third possibility.
Contradiction
We call those logical statements contradictions that are false in every case.
This statement can never be true: p and ¬p cannot both be true at the same time.
Examples
- "It will rain tomorrow or it won't rain." → tautology.
- "The sun is shining and not shining at the same time." → contradiction.
Why are they important?
Tautologies are often the foundations of logical proofs: they are always valid. Contradictions are useful for immediately filtering out flawed arguments.
Summary
A tautology is always true, a contradiction is always false. These logical expressions help understand how inference and proof work.
Practice Exercise
We have reviewed and checked the materials, but errors may still occur. The content is provided for educational purposes only, so use it at your own responsibility and verify with other sources if needed.
✨ Ask Lara — your AI study partner
Unlock personalized learning support. Lara can explain lessons, summarize topics, and answer your study questions — available from the Go plan and above.
Lara helps you learn faster — exclusive to ReadyTools Go, Plus, and Max members.
