Logique

Ebauches de notes de cours de logique :
 Notes sur le calcul des propositions
 Règle de déduction naturelle
 Notes sur le calcul des prédicats et la théorie des ensembles
 regles de deduction naturelles

Premières feuilles d’exercices de logique :
 feuille 1 , corrigé

 feuille 1 bis , corrigé

 feuille 2 , corrigé

 feuille 3 , corrigé

 feuille 4 , corrigé

Ancienne feuilles
 WP , corrigé