Logique (mathématiques)/Exercices/Calcul naturel

Exercice 6-1

Soit le séquent suivant : $\mathrm{\neg }(a\to b)\wedge (b\vee c){⊢}_{N}c\vee a$
Prouvez-le par le calcul naturel classique.