Logique (mathématiques)/Exercices/Calcul naturel

De testwiki

Version datée du 5 septembre 2024 à 15:47 par imported>Loicmarly

(diff) ← Version précédente | Version actuelle (diff) | Version suivante → (diff)

Aller à la navigation Aller à la recherche

Modèle:Exercice

Exercice 6-1

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

Modèle:Solution

Modèle:Bas de page

Récupérée de "https://fr.wikiversity.beta.math.wmflabs.org/w/index.php?title=Logique_(mathématiques)/Exercices/Calcul_naturel&oldid=1703"