Logique (mathématiques)/Exercices/Calcul naturel

**Calcul naturel**
Leçon : Logique

Exercices n^o6

Exercices de niveau 15.
Exo préc. :	Méthode des tableaux
Exo suiv. :	Calcul intuitionniste

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-1[modifier | modifier le wikicode]

Soit le séquent suivant : $\neg (a\rightarrow b)\land (b\lor c)\vdash _{N}c\lor a$
Prouvez-le par le calcul naturel classique.

Solution

Logique

Méthode des tableaux

Calcul intuitionniste