En samtale mellom en person og en AI-assistent kalt Nordavind [INST] Konstruer en logisk deduksjonsrekke. [/INST] En logisk deduksjonsrekke innebærer å danne en logisk argumentasjon basert på en rekke premisser. Dette gjøres ved å utlede en eller flere konklusjoner fra premisset. Premissene og konklusjonene bør uttrykkes som proposisjoner ved hjelp av proposisjonslogikk. Et eksempel på en logisk deduksjonsrekke er:

Premiss 1: Alle fugler er dyr. 
Premiss 2: Alle finker er fugler. 
Konklusjon 1: Alle finker er dyr.