查询结果
前束范式
qián shù fàn shì
ㄑㄧㄢˊ ㄕㄨˋ ㄈㄢˋ ㄕˋ
「前束范式」是什么意思？
更新 2026-07-14 18:08:01
- 拼音字母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)]，此...
拆字组词
相关词语
- 上窑山查含义
- 万丽莉查含义
- 临安查含义
- 二老查含义
- 乳头百合查含义
- 内在性蛋白查含义
- 几分查含义
- 刘铁军查含义
- 加油添酱查含义
- 可持续消费查含义
- 压力过滤器查含义
- 含元殿遗址查含义
- 基节粉苞菊查含义
- 和尚桥查含义
- 图济奥查含义
- 复利债券查含义
- 寒星查含义
- 彭恭甫查含义
- 弋何首查含义
- 晴川阁查含义
- 杨子岩查含义
- 柘溪村查含义
- 棕褐黛眼蝶查含义
- 波西米亚王子查含义
- 洪德居查含义
- 漳墩镇查含义
- 炼铁炉查含义
- 烧瓶查含义
- 王堃骋查含义
- 省事查含义
- 白花叶查含义
- 耿文清查含义
- 芝嘉花园查含义
- 虎尾轮查含义
- 酒乡查含义
- 金靴奖查含义
- 长虹西路查含义
- 闪里镇查含义
- 阿肯色州查含义
- 预算专业查含义
- 鸿码头查含义
- 鹰隼查含义
- 黑道兄弟查含义
- 波霸钓手渚查含义
- 花椰猴查含义
- 库拉肯查含义
- 水羽楠叶查含义
- 橄榄油沙拉查含义
- 双腐山水香查含义
- 玉屏酒查含义