Proposizionalizzazione

La proposizionalizzazione è una tecnica di trasformazione delle formule logiche espresse nella logica del primo ordine in istanze della logica proposizionale. Le principali tecniche di proposizionalizzazione sono l'istanziazione universale e l'istanziazione esistenziale.

• Istanziazione universale. L'istanziazione universale trasforma una formula logica quantificata universalmente in un insieme di istanze ( proposizioni logiche ). La variabile della formula viene sostituita dai termini ground ossia da valori che non sono variabili.
• Istanziazione esistenziale. L'istanziazione esistenziale trasforma una formula logica quantificata esistenzialmente in un'istanza ( proposizione logica ) in cui la variabile è sostituita da una costante.