ples of truth values) may be regarded as an &quot;interpretation&quot; of the
proposition with k variables.  An interpretation that yields a value
of true is then called a &quot;model&quot;.

For the most threadbare kind of logical system that we find residing
in propositional calculus, this notion of model is almost too simple
to deserve the name, yet it can be of service to fashion some form
of continuity between the simple and the complex.

Jon Awbrey

| Edelman, Gerald M.,
|'Topobiology:  An Introductio