Avant propos
Ce présent document se veut un support de cours pour les étudiants de première année du domaine Mathématique et Informatique et tous ceux qui souhaitent se documenter sur la logique mathématique. Il présente dans un premier temps les éléments de base en mathématique, aux premières notions de logique propositionnelle et au calcul propositionnel formel ainsi que la logique des prédicats.
Ce document est inspiré de plusieurs cours cités en références principalement de [1][1] , [2][2].
Les pré requis nécessaires
Les étudiants qui souhaitent suivre ce cours doivent maîtriser les notions présentées ci-dessous :
Ensembles, relations ;
Notions de Treillis.
Volume horaire
1h30 par semaine
