Kıyaslama

Mantıkta kıyas, iki öncülü ve bir sonucu olan geçerli bir tümdengelim argümanıdır. Geleneksel tür, hem öncüllerin hem de sonucun, aralarında sadece üç basit terim kullanılarak oluşturulmuş basit bildirimsel ifadeler olduğu ve her terimin iki kez (özne ve yüklem olarak) göründüğü kategorik kıyastır: "Tüm insanlar ölümlüdür; hiçbir tanrı ölümlü değildir; bu nedenle hiçbir insan tanrı değildir." Bu tür kıyaslarda argüman, öncülleri ileri sürmenin ve kendisiyle çelişmeden sonucu inkar etmenin mümkün olmayacağı gerçeğinden dolayı geçerlidir.