Séance de cours
Cette séance de cours couvre les équivalences logiques dans la logique des prédicats, y compris le concept de deux déclarations logiquement équivalentes, la distribution des quantificateurs sur les connecteurs, la négation des expressions quantifiées et les lois de De Morgan pour les quantificateurs.