[FOM] Prenex

laureano luna laureanoluna at yahoo.es
Fri Nov 23 18:53:26 EST 2007

Thomas Forster wrote:

>Can anyone tell me the origin of this word?  It's
>obviously an
>acronym of some kind, and I am getting tired of
>accompanying my
>explanations to students of the Prenex Normal form
>theorem with
>apologies for my ignorance, so i would like to know.

I don't think it is an acronym. I have always thought
it originates from the Latin 'prae-nexus', meaning
something like 'having the nexus at the start' or
perhaps simply 'before the nexus'.

Anyway, it must be an adjective since in Spanish it
has the feminine form 'prenexa' in 'forma normal


Laureano Luna

¿Chef por primera vez?
Sé un mejor Cocinillas. 

More information about the FOM mailing list