Séances de cours associées à Logique: Techniques de preuve

Couvre les propositions, les connecteurs logiques, les tables de vérité et le langage logique propositionnel.

Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.

Couvre la preuve du théorème de la courbe de Jordan et les propriétés des sphères incorporées.

Couvre les règles d'inférence dans la logique propositionnelle et les sophismes logiques communs.

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

Explore l'importance de la solidité et de l'exhaustivité dans un système de preuve propositionnelle.

Explique la construction du DNF et du CNF dans la logique propositionnelle et leur complexité.