Logique principale : quantificateurs et formulaires normaux

Cette séance de cours couvre les concepts de la logique prédicat, en mettant l'accent sur les quantificateurs et les formes normales. Il commence par une introduction à la forme normale disjonctive (DNF) et à la forme normale conjonctive (CNF), suivie de méthodes pour les trouver sans utiliser de tableaux de vérité. L'instructeur explique comment déterminer les valeurs de vérité des déclarations faisant intervenir des quantificateurs et des domaines, en soulignant l'importance de trouver des témoins et des contre-exemples. La séance de cours s'inscrit également dans les Quantificateurs Universels et Existentiels, en discutant de leurs valeurs de vérité et de leurs applications. En outre, il explore le Quantificateur Uniqueness et les quantificateurs sur les domaines finis, soulignant l'importance de la priorité, de la portée et de la liaison dans les expressions logiques.