Prise de contact. nSnSnSnSe présenter; nDnDnDnDemander aux élèves de se présenter; nAnAnAnAssurez-vous: –Q–Q–Q–Que les élèves connaissent lobjet du cours;
1 Logique du premier ordre (Logique de prédicats) Chap. 8.