- praenexus
praenexus, a, um (*praenecto), vorn geknüpft, -zugebunden, os, Solin. 1. § 6.
http://www.zeno.org/Georges-1913. 1806–1895.
praenexus, a, um (*praenecto), vorn geknüpft, -zugebunden, os, Solin. 1. § 6.
http://www.zeno.org/Georges-1913. 1806–1895.
Prenex normal form — A formula of the predicate calculus is in prenex[1] normal form if it is written as a string of quantifiers followed by a quantifier free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex… … Wikipedia
prenex normal form — ˈprēˌneks noun Etymology: Late Latin praenexus tied up or bound in front, from Latin prae pre + nexus, past participle of nectere to tie, bind more at annex : a normal form of an expression in the functional calculus in which all the quantifiers… … Useful english dictionary