Bir'''Totoloji''', bir bileşik önermedeönermenin kendini oluşturan önermelerin (bkz. [[önerme)]]lerin her değili için daima doğru çıkıyorsa totolojisonuç adıvermesi verilirdurumu.
[[Kategori:Mantık]]
ÇELİŞKİ
Totoloji'nin tersi olarak daima yanlış çıkıyorsa çelişki adı verilir.