Significados 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.