Een tautologie is een samengestelde bewering die altijd waar is.
Een contradictie (of tegenspraak) is een situatie waarbij twee beweringen of waarnemingen die elkaar uitsluiten, tegelijkertijd waar moeten zijn. Het is dus een samengestelde bewering die nooit waar is.
Een paradox is een bewering die ondanks ogenschijnlijk juiste uitgangspunten leidt tot een tegenstrijdigheid of een logisch onacceptabele conclusie.

Een redenering is logisch correct als alle elementaire beweringen waarheidswaarde `1` hebben en de conclusie ook waarheidswaarde `1` heeft.

In de logica kunnen ook redeneringen die beweringen bevatten die waarheidswaarde `0` of `1` hebben, altijd waarheidswaarde `1` hebben. De redenering is dan een tautologie.