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.
Given is an interpretation I into a domain D with a valuation V, and a formula φ
We say that:
in this interpretation or
this interpretation is a
That means the interpretation function I into the domain D (with valuation V) makes the formula φ true.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License