Satisfiability

A formula W is satisfiable iff there exists some interpretation of W that make W true.

A formula W is unsatisfiable iff there does NOT exist any interpretation of W that make W true.

Then W is inconsistent. W is a contradiction.

If every interpretation of W satisfies W (makes W true), then W is a tautology.

If I is an interpretation for W that satisfies W , then I is a model for W.

Previous slide

Next slide

Back to first slide

View graphic version