False

False is Not[True]. It is the negative boolean value.

False is not a Grok32` keyword because it is derivative.

False is defined in the Logic` Context as:

(1)                                Name[False, Not[True]]

(2)                                False[expr]

...returns True if expr has an assigned value, and False if expr is unassigned.

The above elicitation is assigned as follows:

            Name[False[expr_], Not[True[expr ]]    ]

False[set]

In the following, if set is a PatternSet, then

(3)                                False[set]

...is the subset of set that changes when Reckoned.

It is the LogicalPatternSet of elements in set with assigned values. 

This means, if el matches (3), Reckon[False[el ]] returns True.

Grok32`

(c) 2004-2007 by

John Van Wie Bergamini.

All rights reserved.