Significats de satisfazibilidade en portuguès

As noções da teoria dos modelos de consistência e satisfazibilidade são explicações úteis da coerência, mas não fornecem uma análise nem uma redução dela.