Een samengestelde propositie die altijd waar is, onverschillig de waarheidswaarde van de premissen noemt men een tautologie