Zihnin, birbiriyle ilişkili önermelerden yeni bir önerme çıkarmasına akıl yürütme denir. Üç yöntemi vardır: tümdengelim, tümevarım ve analoji...

Cevaplayanı zan altında bırakan, içeriği varsayım barındıran sorulardır.

Safsata, ilk bakışta geçerli gibi görünen sahte argümandır.

Genel kanıyı ya da gelenekleri referans göstererek bir fikrin doğru veya yanlış olduğunu ileri sürme durumudur.

Kümelerin kendi aralarında ya da eşit küme, evrensel küme, boş küme ve alt küme ile fark işlemlerinin birtakım özellikleri vardır.

Bir kümenin tümleyeni ile birleşim, kesişim ve fark gibi küme işlemleri arasında birtakım özellikler vardır.

Ortak elemanı olmayan kümelere ayrık küme denir.

Eleman sayısı belirli olan kümelere sonlu küme, elemanları sayılamayacak kadar çok kümelere sonsuz küme denir.