Études-Mathématique/Déduction proofT

From Lazi wiki
< Études-Mathématique
Revision as of 13:31, 27 June 2017 by Emmanuel (talk | contribs) (Réponse)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Question

Peut-on voir une preuve comme une forme de déduction ?

Étude

Une déduction a pour objet un ensemble de conditions et une conclusion.

ProofT est une déduction qui prend en argument une liste de déduction. L'objet de proofT a pour conditions les conditions de la première déduction, et pour conclusion la conclusion de la dernière déduction. La liste des déductions est valide si toute condition des déductions (sauf la première) est une conclusion d'une déduction précédente.

Plus de conditions ?

Pourquoi ne pas prendre comme condition toute les conditions qui ne sont pas remplies ?

Je ne vois pas l'intérêt de limiter la validité.

Réponse

Oui. La liste des conditions est l'ensemble des conditions non remplies, la conclusion est la conclusion de la dernière déduction.