Informatique MPI
Toute la déduction naturelle a été vue en logique du premier ordre. Cependant, les constructions d'arbre de preuve en logique du premier ordre sont un peu trop récentes, on évitera d'en proposer en premier exercice de colle.
Il est cependant envisageable de donner des exercices simples autour de la syntaxe des formules du premier ordre, et il est toujours possible de donner des exercices de construction d'arbre de preuve ou de démonstration de règles en logique propositionnelle, ainsi que sur la sémantique de la logique propositionnelle.
La sémantique de la logique du premier ordre n'est pas au programme.
