Bir tanım tam, açık-seçik olmalıdır ve tanım kısır döngü içermemelidir.

İki önerme arasındaki karşıtlık, altıklık ve çelişiklik durumunu gösteren tabloya mantık karesi (Aristoteles karesi) denir.

Ö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..

"Ama sen de" safsatası (fallacy of "you also", "you too" fallacy, ad hominem tu quoque ) kendi haklılığını kanıtlamak için başkasının benzer yanlışını..

EBOB ve EKOK ile ilgili birtakım özellikler vardır. Örneğin, iki sayının çarpımı, bu sayıların EBOB ve EKOK'larının çarpımına; aralarında asal sayılar..

Bilgi Felsefesi (Epistemoloji) bilginin doğasını, kapsamını, kaynaklarını, koşullarını, türlerini, sınırlarını, değerini ve kökenini araştıran felsefe..

Bir tam sayının, asal çarpanların çarpımı şeklinde yazılmasına asal çarpanlarına ayırma denir. Bu ifadede yer alan her asal sayıya, bu sayının asal ça..

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