Exercise · ZW-TAUTOLOGY-007 · ★★☆ Intermediate
Which one is a classic tautology?
Choose one option.
Show answer
- A. P∨¬P
Explanation
\(P\lor\neg P\) is true for any value of \(P\); the other options have false rows.
Review the concept: Tautology
A compound proposition \(P\) is a tautology if it is true under every assignment of its components.
\[P\lor\neg P\equiv\top\]
More practice problems: tautology
- ZW-TAUTOLOGY-001 A tautology is true...
- ZW-TAUTOLOGY-002 Which one is a tautology?
- ZW-TAUTOLOGY-003 In the table of a tautology, the final column contains...
- ZW-TAUTOLOGY-004 If P is false, P ∨ ¬P turns out...
- ZW-TAUTOLOGY-005 A tautology is a property of...
- ZW-TAUTOLOGY-006 Under which assignments is a tautology true?
- ZW-TAUTOLOGY-008 A tautology has in its final table...
- ZW-TAUTOLOGY-009 Select the tautology.