Logique des prédicats (L2, philosophie, 2020)

Devoirs surveillés

• DS 1 : jeudi le 12/3/2020, 13h–15h [Amphi A4]

• DS 2 : jeudi le 30/4/2020, 9h–11h [Amphi A8]

Exercices (après le 16/3)

• Exercices 8 (19/3)

• Exercices 9 (26/3)

• Exercices 10 (2/4)

• Concernant la séance du 9/4 : pas d'exercices.

Exercices (jusqu'au 16/3)

• Exercices 1 (16/1)

• Exercices 2 (23/1)

• Exercices 3 (30/1)

• Exercices 4 (6/2)

• Exercices 5 (13/2)

• Exercices 6 (20/2)

• Exercices 7 (5/3)

• Concernant la séance du 12/3 : pas d'exercices.

Notes de cours (Après le 16/3)

• Arbres syntaxiques

• Concepts complexes, propositions générales

• Définitions syntaxiques

• La sémantique de la logique des prédicats

Notes de cours (jusqu'au 16/3)

• Des concepts de la théorie des ensembles

• Logique des prédicats

• Logique propositionnelle (notes de cours de L1)

Modalités de validation

• DS 1 (le 12/3/2020, 13h–15h)

• DM le 30/4/2020 (sujet mis sur Moodle le jour du DS et devoir envoyé à l'enseignant par mail dans les délais qui seront spécifiés ; les détails de la démarche seront précisés)

• Le critère d'évaluation : la meilleure des 2 notes (celle du DS 1 et celle du DM).