查询结果
前束范式
qián shù fàn shì
ㄑㄧㄢˊ ㄕㄨˋ ㄈㄢˋ ㄕˋ
「前束范式」是什么意思？
更新 2026-07-14 05:10:40
- 拼音字母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)]，此...
拆字组词
相关词语
- 优维显查含义
- 八孔竖笛查含义
- 卡马斯查含义
- 双重特工查含义
- 同利查含义
- 和氏之璧查含义
- 周辰查含义
- 唐宝珍查含义
- 四斑锯螯蛛查含义
- 基金持有人查含义
- 坦克通行力查含义
- 地幔柱查含义
- 地波罗蜜查含义
- 大鸨级查含义
- 娄刚毅查含义
- 孙淑琴查含义
- 工地试验室查含义
- 房燕生查含义
- 扩大突破口查含义
- 捐金沉珠查含义
- 时智渊查含义
- 期末审计查含义
- 李立功查含义
- 柏婷查含义
- 杨仕海查含义
- 水下抛锚查含义
- 癞肉顽皮查含义
- 胃友新片查含义
- 萍水相遭查含义
- 范晓华查含义
- 蒙蒂查含义
- 运行时间查含义
- 蹇碩查含义
- 郭津生查含义
- 金拳凤凰螺查含义
- 长青街道查含义
- 骑士车查含义
- 鱼叉查含义
- 崇信县公安局查含义
- 金山区法院查含义
- 隐宅查含义
- 绪川千世查含义
- 市井贵女查含义
- 涅斯马希尼查含义
- 第三王朝查含义
- 轴六枪虫查含义
- 麻黄泻白散查含义
- 马克岛翡翠查含义
- 名声与财富查含义
- 痢疾食料丸查含义