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