Re: [Toss-devel] Nomenclature (assgn)

[Lukasz S. <luk...@gm...>]

On Fri, Nov 26, 2010 at 8:19 PM, Lukasz Kaiser <luk...@gm...> wrote:
>
> If you
>  use "interpretation" for predicate logic it means the model, i.e.
>  both the structure in question and the assignment of free variables.

Yes absolutely, this nuance escaped me for a while.