(Alm. Tautologie, f; Fr. tautologie, f; İng. tautology) Kendisini oluşturan önermelerin doğruluk değeri ne olursa olsun, daima doğru olan bileşik önerme; eşanlam: hepdoğru. transandant fonksiyon bkz.mat. aşkın fonksiyon.

1) Doğru olanı kanıtlama.
2) Gereksiz tekrarlama.

Bakınız: doğrusal geçerli önerme

Bakınız: eşsöz