# 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

Tools

Sources (0)

Tags (0)

Comments (0)

History

Usage

Questions (0)

Playlists (0)

Quality

### Sources

There are currently no sources for this slide.