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.
Semantics – Overview
-
Interpretation – Maps symbols of the formal language (predicates, functions, variables, constants) onto objects, relations, and functions of the “world” (formally: Domain, relational Structure, or Universe)
-
Valuation – Assigns domain objects to variables
-
The Valuation function can be used for describing value assignments and constraints in case of nested quantifiers.
-
The Valuation function otherwise determines the satisfaction of a formula only in case of open formulae.
-
Constructive Semantics – Determines the semantics of complex expressions inductively, starting with basic expressions
