释
前束范式
qián shù fàn shì · ㄑㄧㄢˊ ㄕㄨˋ ㄈㄢˋ ㄕˋ
修撰于 2026-07-01 19:28:17
音义
| 拼音 | qián shù fàn shì |
|---|---|
| 字母 | qian shu fan shi |
| 首字母 | qsfs |
| 注音 | ㄑㄧㄢˊ ㄕㄨˋ ㄈㄢˋ ㄕˋ |
| 注音符号 | ㄑㄧㄢ ㄕㄨ ㄈㄢ ㄕ |
广训
前束范式（prenex normal form）是数理逻辑中使用谓词逻辑所描述的形式语言的一种格式。前束范式亦称前束式，一种谓词演算公式。指其一切量词都未被否定地处于公式的最前端且其辖域都延伸至公式的末端的谓词演算公式。设Q∈{∃，ᗄ}，一个公式α是前束范式，当且仅当存在一个不含量词的公式β，使得 α=(Q₁x₁)(Q₂x₂)…(Qₑxₑ)β.例如，公式(ᗄx)[F(x)→G(x)]为一个前束范式，而(ᗄx)[F(x)∨G(x)]→(∃y)R(y)不是前束范式，与一个谓词演算公式等价的前束范式公式称为谓词演算公式的前束范式，例如，公式p→(ᗄx)α(x)的前束范式为(ᗄx)[p→α(x)]，此...
组词
相关
友情链接
抓书网
短词网
书号查询
星云网
南京天气预报30天是什么意思？
青竹标是什么意思？专家解读 权威解读「青竹标」的含义、读音与用法，一文读懂词语内涵。 qīng zhú biāo 2026-06-30 15:40:40
péng 朋是什么意思？
泊头特产是什么意思？
米字针是什么意思？
河北天气预报30天是什么意思？
五常大米是什么意思？
广州天气预报30天是什么意思？
肝火旺盛有什么症状 有哪些特征？要如何调理身体？？是什么意思？
泾县特产是什么意思？
雷锋镇是什么意思？
南京天气预报30天是什么意思？
钓鱼调漂方法是什么意思？
长明是什么意思？
火龙果有哪些保健作用？火龙果的营养价值是什么是什么意思？
本溪天气预报30天是什么意思？