Introduction à la logique.
Présentation :
Ce cours est une introduction à la logique mathématique à destination des philosophes.Nous aborderons la logique propositionnelle (LP) et la logique du premier ordre (LPO). Aucun pré-requis logique ou mathématique n'est exigé ; nous introduirons les éléments de théorie des ensembles nécessaires.
Horaires :
Le cours a lieu, au premier semestre, le mercredi de 13h à 15 h en salle INFO 3 (NIR)
Document d'accompagnement | Feuille d'exercices | ||
28/II |
Préliminaires Morphologie de LP |
DA n°1
|
FE n°1 |
07/III | Morphologie de LP | DA n°2 |
|
14/III | Sémantique de LP (1) | DA n°3 | FE n°3 |
21/III | Intermède ensembliste | DA n°4 | FE n°4 |
28/III | Sémantique de LP (2) | DA n°5 | FE n°5 |
03/IV | Sémantique de LP (2, suite) |
Liens utiles :