| 单词 | prenex normal form |
| 释义 | > as lemmasprenex normal form prenex normal form n. a form of expressing a logical formula in which all the quantifiers are placed before an open sentence, each quantifier affects the whole sentence and is associated with a different variable, and each variable occurs in the sentence. ΚΠ 1942 D. D. Runes Dict. Philos. 103 A proposition expressible in the functional calculus of first order may be called existential if the prenex normal form has a prefix containing an existential quantifier. 1944 A. Church in Ann. Math. Stud. xiii. 61 Use of the prenex normal form was introduced by C. S. Peirce, although in a different terminology and notation. 1990 Proc. London Math. Soc. 60 59 We can bring ϕ to its prenex normal form (Q1)..(Qr)ϕ where ϕ is an L.c-formula without quantifiers and (Qi) is a quantifier over a residue ring sort or the value group sort. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。