Leçons de niveau 15

Logique (mathématiques)/Exercices/Calcul naturel

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
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.



Sommaire

Exercice 6-1[modifier | modifier le wikicode]

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