Correction de l'exercice: propositions ayant le même contenu. Rapide rappel sur les syllogismes.

L'égalité: correction des exercices et compléments.

Correction de l'exercice: reconnaissance de propositions de contenu similaire. Le calcul des prédicats avec égalité.

Correction des exercices: syllogismes se ramenant à des syllogismes aristotéliciens, mises sous forme pérenne, sous forme pure. La logique des prédica...

Correction des exercices: congruences, traduction (français-formalisme, formalisme-français). Mise sous forme pérenne ou sous forme pure.

Correction des exercices: négation de propositions en logique des prédicats, formalisation de propositions simples. Connecteurs et quantificateurs.

Correction des exercices: traduction, syllogismes se ramenant à des syllogismes aristotéliciens. Négation de formules dépendant d'un quantificateur.

Premiers théorèmes de logique des prédicats.

Correction des exercices: congruences; formalisation ne faisant intervenir que des propriétés en logique des prédicats.

Congruences.