Önermeler mantığında, önermeler semantik açıdan totolojiler, çelişki önermeleri ve olumsal önermeler olarak ayrılır. Tüm doğruluk değerlemelerinde doğru olan bir önerme totoloji, tüm doğruluk değerlemelerinde yanlış olan bir önerme çelişki önermesidir. Doğruluk tabloları yapıldığında A,B,D ve E şıklarındaki önermelerindeki totoloji oldukları görülür. Ancak C seçeneğindeki önerme A ve B’nin tüm doğruluk değerleri için yanlış olduğundan bir çelişkidir.