Een voorbeeld met drie propositieletters
Is (p⇒q) ∧ (q ⇒ r) ⇒ (p ⇒ r) een tautologie?
We stellen de waarheidstafel van de formule op, om te zien of hij in alle gevallen de waarde 1 krijgt.
In de formule komen de drie letters p, q en r voor. Er zijn dan dus 8 mogelijkheden voor p,q en r om waar en/of onwaar te zijn. Dat betekent dat de tabel 8 regels krijgt. Verder hebben we voor alle deelformules aparte kolommen nodig.