soddisfacìbile

soddisfacibile

soddisfacìbile agg. [der. di soddisfare]. – Che può essere soddisfatto; soprattutto nel sign. 3 del verbo soddisfare, che trova cioè accordo, rispondenza e sim. In logica matematica, una formula di una teoria si dice soddisfacibile se esiste una struttura tale che, interpretando in essa opportunamente le variabili, la formula risulti vera; per es., la formula 2x = y è soddisfacibile perché risulta vera interpretandola nell’insieme dei numeri naturali qualora si ponga x = 1 e y = 2.