Séances de cours associées à Predicate functor logic

Predicate Logic : Quantificateur universel et existentiel

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

Logique du prédicat : Quantificateurs imbriqués

Explore les quantificateurs imbriqués, l'importance de l'ordre et la traduction en logique.

La logique des prédicats : les équivalences, les négations et les lois de De Morgan

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

Logique principale : quantificateurs et formulaires normaux

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.