Tautologia – wyrażenie, które jest zawsze prawdziwe.
Przykład tautologii: zdanie Pro(ZioPeng) zawsze zwraca wartość prawdziwą.