Exercise · ZW-CONTRADICTION-004 · ★☆☆ Basic
If P is true, P ∧ ¬P turns out...
Choose one option.
Show answer
- C. False
Explanation
With \(P=T\), \(\neg P=F\) and the conjunction \(T\land F\) gives F.
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-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...
- ZW-CONTRADICTION-009 Which of these formulas is contradictory?