## 8.4 Waarheidstafels met drie propositieletters

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.