Sonucu öncüllerinden çıkan çıkarım, öncülleri doğru kılan bütün yorumlarda sonucu da doğru olan çıkarım geçersiz kılıcı kümesi tutarsız olan çıkarım. (?)