字词 | 前束范式 |
类别 | 中英文字词句释义及详细解析 |
释义 | 前束范式 一阶谓词演算中公式的一种范式。它是一切量词都非否定地置于公式前方,并且其辖域都延伸至公式末端的公式。如E是一前束范式,则其形式为E=(QX1)(QX2)…(QXn)B。其中的(QX1)(QX2)…(QXn)B称为前束词,B称为基式或母式。(QXt)或者是( |
随便看 |
|
文网收录3541549条中英文词条,其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似,基本涵盖了全部常用中英文字词句的读音、释义及用法,是语言学习和写作的有利工具。