Syllogisın - İki öncüllü çıkarım (dolaylı çıkarım). Verilmiş iki önermeden, bu önermelerin içerdiğini içinde bulunduran bir üçüncü önermeyi çıkarsama işlemi. Tasımda, kendilerinden çıkarım yapılan önermelere öncüller; bunlardan çıkarılan önermeye sonuç denir.