How to pronounce “prenex normal form”

Meaning

• [Noun]
• (logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.

Practice Nearby Words

conjunctive normal form, clausal normal form, prime formula, disjunctive normal form, well-formed formula, algebraic normal form, predicate logic, canonical disjunctive normal form, zero-order logic, ring sum normal form, formula, positive logic, normal form, existential instantiation, closed formula, propositional logic, subformula, linear logic, canonical form, natural deduction, n-type, peirce's law, atomic formula, first normal form, forward reasoning, predicate calculus, monadic predicate logic, propositional calculus, normal form game, formule, proof system, propositional function, succedent, formation rule, peano arithmetic, sentence, propositional constant, kripke model, context, schema, backus normal form, extension, redex, inference rule, polish notation, theorem, plexus, sentential logic, elementary equivalence, formal logic, valuation, figure, relational model, presburger arithmetic, formal system, preconditioner, second normal form, chomsky normal form, degree, pretopology, composition algebra, multiformula, proof, existential quantifier, constructive logic, literal, maximal, posinomial, law of excluded middle, prewellordering, argument form, graphex, pseudoform, axiom schema, model, if-thenism, exclusive or, neutrosophy, majorization, ratio formalis, precomposition, closed form, graphoid, norming, conservative extension, fifth normal form, many-valued logic, normalizer, subnector, universal quantifier, nullform, quantifier, logic diagram, law of the excluded middle, antitheorem, logical calculus, axiom scheme, herbrandization, infix operator, predimension

Similar Sounds

plural form, paranormal, pectoral fin, dress uniform, burglar alarm, brokerage firm, supranormal, approximal, snakes on a plane, supernormal