Bonjour,
Quelles différence y-at-il entre ce qu'on appelle "déduction naturelle" & "calcul des séquents" ?
Si j'ai bien compris les 2 méthodes visent à démontrer la validité d'une formule, mais dans la déduction naturelle, on manipule les formules
de manière à la simplifier autant que possible, alors que pour le calcul des séquents, on reconstruit l'arbre de démonstration jusqu'aux axiomes.
Cela vous semble-t-il correct ? Autre question : Peut-on combiner les 2 méthodes pour faciliter une démonstration ?
Cordialement
-----