prenex |
presex |
As adjectives the difference between prenex and presex
is that
prenex is of a formula, having all of its quantifiers at the beginning while
presex is before sex.
As a noun prenex
is part at the beginning of a
prenex formula where all of the formula's bound variables get bound by logical quantifiers.
pretex |
prenex |
As a verb pretex
is to frame; to devise; to disguise or excuse.
As an adjective prenex is
of a formula, having all of its quantifiers at the beginning.
As a noun prenex is
part at the beginning of a
prenex formula where all of the formula's bound variables get bound by logical quantifiers.