Logique (mathématiques)/Exercices/Calcul naturel
Aller à la navigation
Aller à la recherche
Exercice 6-1[modifier | modifier le wikicode]
Soit le séquent suivant :
Prouvez-le par le calcul naturel classique.