Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Models and Satisfiability

    Given is an interpretation I into a domain D with a valuation V, and a formula φ .

    We say that:

    φ is satisfied in this interpretation       or

    this interpretation is a model of φ        iff

    I[φ] is true.

    That means the interpretation function I into the domain D (with valuation V) makes the formula φ true.


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.