soddisfacibilità

In logica matematica, una teoria del primo ordine si dice soddisfacibile se esiste una realizzazione (modello, interpretazione) che rende vere tutte le formule di . In modo informale, si può tentare di volgarizzare la definizione dicendo che una teoria, ovvero un certo insieme di formule (usando il termine "insieme" in modo improprio), dice cose sensate in almeno in un caso se esiste almeno una classe di "oggetti" reali che, sostituiti alle variabili nelle formule, le rendano tutte vere.