Ndërtoni një zinxhir të arsyetimit të deduksionit logjik.
Një zinxhir arsyetimi deduksioni logjik përfshin formimin e një argumenti logjik të bazuar në një grup premisash. Kjo bëhet duke nxjerrë një ose më shumë përfundime nga premisat. Premisat dhe përfundimet duhet të shprehen si propozime duke përdorur logjikën propozicionale. Një shembull i një zinxhiri arsyetimi deduksioni logjik është:

Premisa 1: Të gjithë zogjtë janë kafshë.
Premisa 2: Të gjitha fincat janë zogj.
Përfundimi 1: Të gjitha fincat janë kafshë.