Logique Mathématique et Théorie des Ensembles :
Le 05 avril 2011 à 9:45 - salle 331
Présentée par Théret David - 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