Séances de cours associées à Logique classique

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

Explore la logique des prédicats, couvrant les quantificateurs, les équivalences et les traductions du langage naturel.

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

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Couvre les bases de la logique des prédicats, les quantificateurs, les équivalences et les exemples de traduction en langage naturel.

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.

Couvre des exemples de preuves directes et indirectes en mathématiques.