Preuve en Déduction Naturelle
Entrez la formule à prouver:
Valider
Annuler
Abandoner
Entrez ici les arguments des règles
Cliquer pour appliquer une règles
Axiome
∧_i
⇒_i
∨_i
1
∨_i
2
⊥_i
¬_i
∧_e
1
∧_e
2
⇒_e
∨_e
⊥_e
¬_e
©
Oliver Pons 2008