Exercices corrigés — Logique propositionnelle (OCaml (option informatique))
10 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Satisfiabilité Exercice de TD
- Tautologie Exercice de TD
- Nombre de modèles Exercice de TD
- Équivalence Exercice de TD
- Implication et contraposée Exercice de TD
- Substitution Exercice de TD
- Trouver un modèle Exercice de TD
- Évaluer Application directe du cours
- Nombre de variables Application directe du cours
- Taille d'une formule Application directe du cours