una premessa. = deriv. da soddisfacibile. castelvetro, 3-43
rende evidente se una data formula è soddisfacibile oppure è una contraddizione o una tautologia.
. in-, con valore negativo, e soddisfacibile. r insoddisfaciménto, sm. insoddisfazione