Logique (mathématiques)/Exercices/Calcul naturel

Calcul naturel
Image logo représentative de la faculté
Exercices no6
Leçon : Logique

Exercices de niveau 15.

Exo préc. :Méthode des tableaux
Exo suiv. :Calcul intuitionniste
Icon falscher Titel.svg
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Calcul naturel
Logique (mathématiques)/Exercices/Calcul naturel
 », n'a pu être restituée correctement ci-dessus.



Exercice 6-1Modifier

Soit le séquent suivant :  
Prouvez-le par le calcul naturel classique.