Formalisation de propositions modérément complexes (révisions).

Correction d'un problème (utilisation des tables de vérité)

Comparaisons de dialogues et de propositions à partir de leur formalisation (suite et fin).

Comparaisons de dialogues et de propositions à partir de leur formalisation (à suivre)

Correction de l'exercice: formalisation d'énoncés complexes (suite et fin).

Correction de l'exercice: formalisation d'énoncés complexes (à suivre)

Correction de l'exercice de formalisation. Présentation de l'exercice pour les semaines suivantes.

Correction de l'exercice sur la hiérarchie des connecteurs.

Hiérarchie des connecteurs.

Correction du problème.