model

in model theory, an interpretation, which assigns the value true to a formula

Kategorier: