网站首页  词典首页

请输入您要查询的字词:

 

字词 前束范式
类别 中英文字词句释义及详细解析
释义 前束范式

一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方,并且其辖域都延伸至公式末端的公式。如E是一前束范式,则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词,B称为基式或母式。(QXt)或者是(x1)或者是(x1),X1=(i=1,2,…n)各不相同,B中不出现量词。如:“(x)(F(x)VG(x))”、“(x)(y)(z)(R(x、y、z)→S(x、y、z、w))”都是前束范式。

随便看

 

文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。

 

Copyright © 2004-2024 Ctoth.com All Rights Reserved
京ICP备2021023879号 更新时间:2025/8/12 18:19:20