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.

Solution

Solution Calcul Naturel

 


bouton image vers le chapitre précédent Méthode des tableaux
Récupérée de « https://fr.wikiversity.org/w/index.php?title=Logique_(mathématiques)/Exercices/Calcul_naturel&oldid=752974 »