Logique (mathématiques)/Exercices/Calcul naturel

Exercice 6-1

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

Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.