Séance de cours
Cette séance de cours présente la logique des prédicats, en se concentrant sur les variables, les prédicats, les fonctions propositionnelles et les quantificateurs. Il explique comment déterminer les valeurs de vérité des déclarations quantifiées en utilisant des quantificateurs universels et existentiels.