 Construire une chaîne de raisonnement de déduction logique.
 Une chaîne de raisonnement par déduction logique consiste à former un argument logique basé sur un ensemble de prémisses. Cela se fait en dérivant une ou plusieurs conclusions à partir des prémisses. Les prémisses et les conclusions doivent être exprimées sous forme de propositions en utilisant la logique propositionnelle. Voici un exemple de chaîne de raisonnement par déduction logique :\n\nPrémisse 1 : Tous les oiseaux sont des animaux. \nPrémisse 2 : Tous les pinsons sont des oiseaux. \nConclusion 1 : Tous les pinsons sont des animaux.