soddisfacibilità

sf. [da soddisfare]. In logica matematica, proprietà di cui godono le espressioni di un enunciato per le quali esiste almeno un'interpretazione che associa a esse il valore vero. Tali espressioni sono dette soddisfacibili. Di particolare interesse sono le relazioni che intercorrono tra le nozioni di soddisfacibilità e di validità; la precisazione di dette relazioni rende possibile trasformare problemi in termini di soddisfacibilità in problemi in termini di validità e viceversa.