Exercices de niveau 15.
Soit le séquent suivant : ¬ ( a → b ) ∧ ( b ∨ c ) ⊢ N c ∨ a {\displaystyle \neg (a\rightarrow b)\land (b\lor c)\vdash _{N}c\lor a} Prouvez-le par le calcul naturel classique.