Exercices corrigés — Déduction naturelle (informatique (MP2I/MPI))
15 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Le modus ponens, écrit
- Commuter une conjonction
- Réfuter en une ligne
- Une hypothèse qui ne sert pas
- Curryfication, dans les deux sens
- Le raisonnement par cas
- La contraposée
- Trouver la faute
- La règle qui manque
- Les conditions de bord des quantificateurs
- Probleme – Distributivité, dans les deux sens
- Probleme – De Morgan : trois lois, et la quatrième
- Probleme – Curry--Howard : une preuve est un programme
- Probleme – La correction, les règles qui restent
- Probleme – D'autres règles d'inférence : prouver un programme