Séances de cours associées à Logique principale : quantificateurs et formulaires normaux

Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.

Explore la distribution des quantificateurs, des équivalences logiques et des négations dans la logique des prédicats.

Couvre les bases de la logique des prédicats, y compris les quantificateurs et les énoncés.

Couvre les bases de la logique propositionnelle, son histoire, son langage et ses applications informatiques.

Couvre les connexions logiques, l'implication, les propositions biconditionnelles et composées dans la logique propositionnelle.

Couvre les bases de la logique propositionnelle et explore les équivalences logiques et les techniques de preuve.