[LO5] 13.2 α-renommages
Channel: Sylvain Schmitz
Date: 13/11/2020

Où l'on définit quand une substitution σ est applicable à une formule ϕ, et où l'on voit que, si l'on prend soin d'α-renommer les variables liées de ϕ qui posent problème, on peut en fait toujours appliquer une substitution.