Cette séance de cours couvre le lien entre les propriétés et les variables, y compris des concepts tels que les contraires, l'exclusivité et les propositions. Il explore la vérification des propositions, des négations et des propositions existentielles, en mettant l'accent sur les quantificateurs universels et la vérification des propriétés.