Explore l'exhaustivité dans la logique propositionnelle, la résolution sur les clauses, la forme conjonctive, la résolution unitaire, les solveurs SAT et la génération de preuves.

Logique propositionnelle : Questions organisationnelles

Couvre les questions organisationnelles de l'instructeur et souligne l'importance du visionnage vidéo, des exercices et de l'interaction Discord.

Preuves : Équivalence logique et règles d'inférence

Couvre le concept d'équivalence logique dans les règles de preuve et d'inférence.

Équivalences logiques : construire, prouver et appliquer

Couvre le processus de montrer des équivalences logiques à travers des exemples et introduit les lois de De Morgan.

Sets : Opérations et relations

Couvre les opérations définies et leurs relations à la logique propositionnelle, y compris la cardinalité.

Ensembles, fonctions et relations : Définir les opérations

Couvre les opérations réglées et leurs analogies avec les connecteurs de logique propositionnelle, y compris la cardinalité de l'union réglée.

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.