请问「前束范式」是什么意思？
2026-07-10 04:58:57
「前束范式」读音
拼音 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)]，此...
推荐
友情链接
抓书网 短词网 书号查询 星云网 王平仲与万科美好家的合作是对自己的...是什么意思？ zhǐ 藢是什么意思？ 适合家庭主妇开的店是什么意思？ 望花天气预报30天是什么意思？ 广州天气预报30天是什么意思？ 身份证信息查询 居民身份证、港澳台居民居住证、外国人永久居留身份证解析工具是什么意思？ 百家号是什么意思？ 海东市天气是什么意思？ 27笔画的字是什么意思？ 【详情】是什么意思？ Excel分割 支持将Excel中的sheet快速分割成多个文件是什么意思？ 失恋狂想曲是什么意思？ 风暴英雄助手是什么意思？ 西岗天气预报30天是什么意思？ 杭州天气预报30天是什么意思？ 水果的种类区别是什么意思？