Mantıksal bir çıkarım muhakeme zinciri oluşturun.
Mantıksal bir çıkarım akıl yürütme zinciri, bir dizi öncül temelinde mantıksal bir argüman oluşturmayı içerir. Bu, öncüllerden bir veya daha fazla sonuç türeterek yapılır. Önermeler ve sonuçlar, önermeler mantığı kullanılarak önermeler olarak ifade edilmelidir. Bir örnek Mantıksal bir tümdengelim muhakemesi zinciri şöyledir:

Öncül 1: Bütün kuşlar hayvandır. 
Öncül 2: Bütün ispinozlar kuştur. 
Sonuç 1: Bütün ispinozlar hayvandır.