examen

Logique classique Cours 2 : Logique propositionnelle

Introduction. Le langage propositionnel. La logique propositionnelle comme syst` eme formel. La sémantique de la logique propositionnelle. Quelques résultats. Logique classique. Cours 2 : Logique propositionnelle. Odile PAPINI. POLYTECH. Université d'Aix-Marseille odile.papini@univ-amu.fr.



Télécharger Logique classique Cours 2 : Logique propositionnelle pdf