Multiagent Systems

Prof. Dr. Jürgen Dix · Department of Informatics, TUC Multiagent Systems, WS 06/07 417/731
6. Propositional Logic 2. Sentential Logic
Definition (continued)
¯v(ϕ → γ) =
{
true, if ¯v(ϕ) = false or (¯v(ϕ) = true and ¯v(γ) = true),
false, else
Thus each valuation v uniquely defines a ¯v. We call ¯v
L-structure or model A v . From now in we will speak of
models and valuations.
A model determines for each formula if it is true or false.
The process of mapping a set of L-formulae into
{true, false} is called semantics.