Résumé:
Ce cours est consacré à l’apprentissage des méthodes de preuves sémantiques (tables de vérités, algorithme de Quine) et syntaxiques (arbres de réfutation de Beth, déduction naturelle) du calcul propositionnel classique.
Bibliographie:
- Quine, W.v.O., Méthode de Logique, Paris : A. Colin, Paris, France, 1972.
- Lepage, F. Éléments de logique contemporaine, Presses de l'Université de Montréal, Montréal, Canada, 2010.
- Bell, DeVidi, Solomon, Logical Options: An Introduction to Classical and Alternative Logics, Broadview Press, Peterborough, Ont., Canada, 2001,
Enseignant:
Année:
L1
Identifiant:
UE202 EC1
Semestre:
2
Modalités de contrôle des connaissances:
Contrôle continu : deux partiels qui comptent à part égale dans le calcul de la moyenne.