[LO5] 8.2.1. Inversibilité et recherche de preuve
Channel: Sylvain Schmitz
Date: 2020-10-11

Où l'on voit que l'on peut considérablement simplifier l'algorithme de recherche de preuve de la vidéo précédente, grâce à l'inversibilité syntaxique des règles du calcul des séquents propositionnel défini dans ce cours. ⚠ numérotation différente des notes de cours : la propriété d'inversibilité syntaxique est la propriété 8.8 dans la version courante des notes.