elimizde doğruluğu kabul edilmiş iki önerme olsun yani x ve y durumları diyelim. bu iki durumdan yeni bir durum çıkartma işidir.
Çok bilinen tasımlardan bir tanesi;
insanlar ölümlüdür,
Sokrates bir insandır,
o halde Sokrates ölümlüdür.
Çok bilinen tasımlardan bir tanesi;
insanlar ölümlüdür,
Sokrates bir insandır,
o halde Sokrates ölümlüdür.