« Logique (mathématiques)/Exercices/Calcul naturel » : différence entre les versions
Contenu supprimé Contenu ajouté
mise à jour |
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
||
Ligne 9 :
__TOC__
{{Clr}}
== Exercice 6-1 ==
Soit le séquent suivant : <math>\neg(a \rightarrow b) \and (b \or c) \vdash_N c \or a</math>
<br />Prouvez-le par le calcul naturel classique.
| |||