Tautologie (logica): verschil tussen versies

== Construeren van tautologieën ==

In de volgende formules betekent

* <math>A \equiv B</math> : A ''is equivalent aan'' B, [[Dan en slechts dan als|equivalentie]], gelijkwaardigheid

* <math>A \rightarrow B</math> : ''als'' A ''dan'' B, [[Logische implicatie|implicatie]], gevolgtrekking