Exercise · ZW-CONTRADICTION-009 · ★★☆ Intermediate
Which of these formulas is contradictory?
Choose one option.
Show answer
- B. \(P\land\neg P\)
Explanation
\(\neg(P\land\neg P)\) is a tautology, since it negates a contradiction; only \(P\land\neg P\) is contradictory.
Review the concept: Contradiction
A compound proposition \(P\) is a contradiction if it is false under every assignment of its components.
\[P\land\neg P\equiv\bot\]
More practice problems: contradiction
- ZW-CONTRADICTION-001 A contradiction is false...
- ZW-CONTRADICTION-002 Which one is a contradiction?
- ZW-CONTRADICTION-003 In the table of a contradiction, the final column contains...
- ZW-CONTRADICTION-004 If P is true, P ∧ ¬P turns out...
- ZW-CONTRADICTION-005 A contradiction cannot be true...
- ZW-CONTRADICTION-006 Under which assignments is a contradiction false?
- ZW-CONTRADICTION-007 Which of these formulas is a contradiction?
- ZW-CONTRADICTION-008 The final column of a contradiction contains...