Études-Mathématique/Déduction proofT

From Lazi wiki
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.