Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.
Couvre les quantificateurs avec des domaines finis, l'unicité, les instructions composites, la liaison de variables, la traduction en logique et la validité.
