Séance de cours
Cette séance de cours couvre la traduction de phrases en langage naturel en logique de prédicat, y compris des exemples tels que «Tout le monde aime quelquun» et «il y a quelquun qui aime quelquun». Il explique également l'importance de l'ordre des quantificateurs et fournit des exercices sur les quantificateurs imbriqués.