Logique et Méthodes de Preuve

Formaliser une proposition en logique propositionnelle et construire sa table de vérité.

Démontrer la validité d'un raisonnement en utilisant les règles d'inférence (modus ponens, modus tollens).

Écrire des formules en logique des prédicats du premier ordre avec quantificateurs.

Définir formellement un ensemble et démontrer des propriétés ensemblistes par manipulation formelle.

Effectuer une preuve par l'absurde et par contraposée.

Effectuer une preuve par récurrence simple sur les entiers naturels.

Appliquer le raisonnement par récurrence pour prouver la correction d'algorithmes simples.