bir sonucun tek bir öncülden çıktığı, tek bir öncülden sonuca geçilen, yani biri öncül diğeri sonuç olmak üzere, yalnıza iki önermeden oluşan çıkarım türü.
klasik mantıkçılar, doğrudan çıkarımları ikiye ayırırlar: 1 karşıolum çıkarımları. söz konusu çıkarımlar, bir önermenin doğruluğu ya da yanlışlığını, aynı özne ve yükleme sahip olan başka bir önermenin doğruluk ya da yanlışlığından çıkartır. karşıolum çıkarımları, a) karşıtlık çıkarımlarını, b) altıklık çıkarımlarını ve c) çelişki çıkarımlarını kapsar.
2 bir önermeyi, öznesi ya da yüklemi ya da her ikisi birden farklı, ancak ona eşdeğer olan başka bir önermeden çıkarsayan çıkarım türü olarak eşdeğerlik çıkarımları. bunlar ise a) evirme, b) çevirme ve c) devirme çıkarımlarını kapsar.
