Exercise · ZW-TAUTOLOGY-010 · ★★★ Advanced
If a formula has no counterexamples, then it is...
Choose one option.
Show answer
- B. A tautology
Explanation
If no assignment makes the formula false, it is true under all of them, which is the definition of a tautology.
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-007 Which one is a classic tautology?
- ZW-TAUTOLOGY-008 A tautology has in its final table...