Séance de cours
Cette séance de cours couvre les règles d'inférence pour les déclarations quantifiées, y compris l'Instanciation Universelle, la Généralisation Universelle, l'Instanciation Existentielle, la Généralisation Existentielle et le Modus Ponens Universel. À travers des exemples, l'instructeur montre comment construire des arguments valides en utilisant la logique des prédicats.