查询结果
前束范式
qián shù fàn shì
ㄑㄧㄢˊ ㄕㄨˋ ㄈㄢˋ ㄕˋ
「前束范式」是什么意思？
更新 2026-07-10 22:38:23
- 拼音字母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)]，此...
拆字组词
相关词语
- 三狗查含义
- 买菜求益查含义
- 令人吃惊查含义
- 侯学众查含义
- 十月之路查含义
- 南山园蛛查含义
- 卵鳎查含义
- 地震矩查含义
- 国恨家仇查含义
- 少许灰烬查含义
- 巴盟人家查含义
- 尿三杯试验查含义
- 平面叶片查含义
- 待时而动查含义
- 庭无留事查含义
- 志荣查含义
- 拜个早年查含义
- 新手速成查含义
- 星盛家园查含义
- 易货贸易查含义
- 李文素查含义
- 杨增新查含义
- 沙圩村查含义
- 毁灭机甲查含义
- 海肠子查含义
- 熊小萍查含义
- 猪哥会社查含义
- 王国查含义
- 琼蒂查含义
- 电传机查含义
- 石英谐振器查含义
- 福禄寿游南洋查含义
- 给水控制系统查含义
- 药物与人查含义
- 蓝缘苔蛾查含义
- 邓海燕查含义
- 陈顾远查含义
- 高金和查含义
- 鸢尾谷查含义
- 云台天瀑查含义
- 咩力羊查含义
- 海洋龙查含义
- 秦可儿查含义
- 龙眼准药糕查含义
- 燕尾狗查含义
- 空中医院查含义
- 超氧等离子体查含义
- 杨梅甜酒查含义
- 三菱翼豪陆神查含义
- 海藏寺查含义