al
description !F! is to be a point x in the corresponding region F
of the universe of discourse X.

In the truth table representation, to be a model of a logical
proposition f is to be a data-vector !x! (a row of the table)
on which a function f evaluates to true.

This manner of speaking makes sense to those who consider the ultimate meaning of
a sentence to be not the logical proposition that it denotes but its truth value
instead.  From the point of view, one says that any data-vector of this type
(k-tu