Una proposición es insatisfacible cuando no hay ninguna posible interpretación que la haga verdadera. Otra forma de decir que una proposición molecular es insatisfacible es decir que es contradictoria.
(v. contradicción, interpretación)
Referencias en el texto: