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