Exercise · ZW-TAUTOLOGY-009 · ★★★ Advanced

Select the tautology.

Choose one option.

Show answer
  • C. P⇒P

Explanation

\(P\Rightarrow P\) is true in both cases: if \(P\) is T the consequent is also T, and if \(P\) is F the antecedent is false.

Open the ZWMath map →

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-008 ZW-TAUTOLOGY-010 →