• Conjuncts with no unknown variables become tests.

• Conjuncts with one unknown variable become computations to find the values(s) of the variable.

• Implications become if statements.

• Substitutions become variable bindings.

• Bounded quantifiers become enumerations.

Contents    Page-10    Prev    Next    Page+10    Index