Exercise · ZW-DISJUNCTION-005 · ★☆☆ Basic

P ∨ ¬P is an example of...

Choose one option.

Show answer
  • C. Tautology

Explanation

\(P\lor\neg P\) is true in every case, because either \(P\) or \(\neg P\) is always true. That makes it a tautology.

Open the ZWMath map →

Review the concept: Disjunction

Given propositions \(P\) and \(Q\), their inclusive disjunction is the proposition \(P\lor Q\).

\[P\lor Q\]

More practice problems: disjunction

← ZW-DISJUNCTION-004 ZW-DISJUNCTION-006 →