Cette page a été crée afin de faciliter la communication des documents du cours de logique formelle (exercices) donné par Nicolas Zaks.
Voici les exercices sur les tableaux sémantiques :
Enoncés des exercices (n°1)
Correction page 1 - Correction page 2 - Correction page 3 - Correction page 4
Enoncés des exercices (n°2)
Correction pages : 1, 2, 3, 4, 5.
Voici les exercices de syllogistique et du calcul des prédicats :
Enoncés des exercices
Correctif des exercices