No More Learning

Thus we should be
led to the           definition:--

"NECESSARY is a predicate of a propositional function, meaning
that it is true for all possible values of its argument or
arguments.