[LO5] 14.3. Skolémisation
Channel: Sylvain Schmitz
Date: 15/11/2020

Où l'on voit le théorème de Skolem : pour toute formule du premier ordre ϕ, on peut construire une formule équi-satisfiable universelle, c'est-à-dire sous forme prénexe et sans quantification existentielle.