Examen: logique propositionnelle, logique des prédicats

Considérez les arguments suivants:

1. P1: Si les élèves étudient, ils réussissent l’examen.
   P2: Les élèves ont réussi l’examen.
   C: Les élèves ont étudié.
2. P1: Si tous les oiseaux ont des ailes, alors les pingouins volent.
   P2: Les pingouins ne volent pas.
   C: Tous les oiseaux n’ont pas d’ailes.

1. Pour chaque argument, déterminez si il s’agit d’un argument valide et/ou fondé.
2. Justifiez vos réponses en construisant les tables de vérité de chaque argument.

   Aide: pour ce faire, vous devez tout d’abord formaliser ces arguments en logique propositionnelle.

3. Traduisez les deux arguments en logique des prédicats.