关于「前束范式」
拼音 qián shù fàn shì，注音 ㄑㄧㄢˊ ㄕㄨˋ ㄈㄢˋ ㄕˋ。数据更新于 2026-07-13 12:53:24。
| 拼音字母 | 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)]，此...
拆字组词
相关词语
- 三海旅行记是什么意思？
- 万世不易是什么意思？
- 东北舌唇兰是什么意思？
- 丰沙尔是什么意思？
- 仰成是什么意思？
- 偷钱上哈佛是什么意思？
- 加山雄三是什么意思？
- 城子派出所是什么意思？
- 喜沙黄耆是什么意思？
- 幼儿园特警是什么意思？
- 异红点唇瓢虫是什么意思？
- 张完集乡是什么意思？
- 握手成交是什么意思？
- 方宽荣是什么意思？
- 推广员是什么意思？
- 接受是什么意思？
- 施伟民是什么意思？
- 朱凌凌是什么意思？
- 曹肇基是什么意思？
- 梅艳新村是什么意思？
- 沂蒙小调是什么意思？
- 沈家弄是什么意思？
- 滴翠山庄是什么意思？
- 环连是什么意思？
- 王光夫是什么意思？
- 生物浓缩因子是什么意思？
- 电话诉衷情是什么意思？
- 知苦断集是什么意思？
- 相连是什么意思？
- 石化作用是什么意思？
- 翼下颌间隙是什么意思？
- 致命留言是什么意思？
- 茶炊是什么意思？
- 董宏杰是什么意思？
- 邹顺兴是什么意思？
- 针灯心草是什么意思？
- 鲘门镇是什么意思？
- 警告丈夫是什么意思？
- 美少女剑士是什么意思？
- 勿淘米是什么意思？
- 大馍是什么意思？
- 松花猪肉是什么意思？
- 辣烧鸡腿是什么意思？
- 去吃去是什么意思？
- 挡渣塞是什么意思？
- 光形态建成是什么意思？
- 养阳济阴汤是什么意思？
- 柳叶梣是什么意思？
- 纯种牧羊犬是什么意思？
- 绵羊虾是什么意思？
友情链接
抓书网 短词网 书号查询 星云网 唯一后缀生成器 - 批量添加不重复编号和标识是什么意思？ 杜郎老矣是什么意思？ 肚包肉是什么意思？ 鹤谷天马 拼音 hè gǔ tiān mǎ，一文读懂「鹤谷天马」的含义、出处与用法。 hè gǔ tiān mǎ 通达词典 - 汉语词语查询大全 2026-06-30 15:41:26是什么意思？ 台山特产是什么意思？ 领导履新的祝福语优秀3篇是什么意思？ 汉字转五笔码 一款支付86版和98版五笔码转换工具是什么意思？ 为是什么意思？ 好事日记是什么意思？ 泉州艾格眼科是什么意思？ 稻香春 dào xiāng chūn · 是什么意思 阿里是什么意思？ 郎本无情是什么意思？ 内蒙古自治区天气预报30天是什么意思？ 唯是什么意思？ 毕业典礼主持词幼儿园二十七篇是什么意思？