Exercices corrigés — Logique propositionnelle (OCaml (option informatique))

10 exercices avec corrigé rédigé, du plus simple au plus exigeant.

• Évaluer
• Nombre de variables
• Taille d'une formule
• Satisfiabilité
• Tautologie
• Nombre de modèles
• Équivalence
• Implication et contraposée
• Substitution
• Trouver un modèle

Lire le cours de ce chapitre