[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
prenexa'.
Regards,
Laureano Luna
______________________________________________
¿Chef por primera vez?
Sé un mejor Cocinillas.
http://es.answers.yahoo.com/info/welcome
More information about the FOM
mailing list