interpretation-function

An interpretation function is a something which takes a formula ($f$), a model ($w$) and evaluates the formula with the given models which results in either of the two values $true$ or $false$.

$$I(f,w)$$