Matematikte totoloji, bir bileşik cümlenin, bileşen cümlelerinin herhangi bir değeri için her zaman doğru sonuçlar üretmesi durumudur. Totolojinin bulunup bulunmadığını anlamak için şu yöntemler kullanılabilir: 1. Doğruluk tablosu: Cümlenin doğruluk değerinin her zaman 1 olduğunu, basitleştirme yöntemiyle veya bir doğruluk tablosu oluşturarak göstermek gerekir. 2. Sembolik mantık: Sonuç her girdi için doğruysa, ifade totolojik olarak kabul edilir.