S4 - Règles de déduction (4h - 6h)
Section outline
-
Objectifs : Connaître les règles de déduction importantes pour la logique, Comprendre les règles de déduction, Savoir appliquer les règles de déduction, Manipuler les règles de déduction de la logique quantifiée