Logique Mathématique et Théorie des Ensembles
mardi 05 avril 2011 à 9:45 - salle 331
David Théret (Université Montpellier II)
Logique Propositionnelle I
Aspect syntaxique : symboles de la logique propositionnelle, assemblages, formules ,théorème de lecture unique des formules.
Aspect sémantique : distribution de valeurs de vérité, satisfaction, implication et équivalence (tauto-)logiques, tautologies.
Les notes de la séance sont ici