Séances de cours associées à Univers (logique)

Explique les variables, les prédicats, les fonctions propositionnelles et les quantificateurs dans la logique des prédicats.

Couvre le concept de l'univers du discours et des valeurs de vérité dans la logique prédictive.

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

Couvre la syntaxe logique de premier ordre, la sémantique et la résolution pour les propriétés de preuve.