Önermeler yapıları (basit-bileşik), nitelikleri (olumlu-olumsuz) ve nicelikleri (tümel-tikel) bakımından üçe ayrılır.

Mantıkta genel-tikel, tümel-tikel, soyut-somut, kolektif - distribütif, olumlu - olumsuz olmak üzere beş tür kavram vardır.

Öncülün doğru olması durumunda sonucun da zorunlu ve kesin olarak doğru olmasına geçerlilik; sonucun öncüllerden zorunlu olarak çıkarılamamasına geçer..

Kıyas, en az iki öncülden yeni bir sonuç çıkarmak üzere yapılan tümdengelime dayalı akıl yürütmedir.

Bir tam sayının 8 ile tam bölünebilmesi için, bu sayının son üç basamağının oluşturduğu üç basamaklı sayı 8'in tam katı olmalıdır.

Asal sayıların sonsuzluğu, Öklid tarafından asal sayıların sonlu olamayacağı gösterilerek kanıtlanmıştır.

n tane elemana sahip bir kümenin, kendisi dahil alt kümelerinin sayısı iki üzeri n kadardır.

İki zanlı bir soruşturma kapsamında polis tarafından göz altına alınmıştır. Polis elinde tutuklama için yeterli kanıt olmadığı için her iki zanlıyı fa..