网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 前束范式
类别 哲学
释义 前束范式     prenex normal form

一阶谓词演算中公式的一种范式。一切量词都非否定地置于公式前方,且其辖域都延伸至公式的末端的公式。亦即:E=(QX1)(QX2)……(QXn)B0(QXi)或者是(ᗄxi)(读为‘所有xi’)或者是(∃xi)(读为‘有一个xi’),xi(i=1,…n)皆不同,B中无量词出现。(QX1)(QX2)…(QXn)称为前束词,B称为基式。例如:

“(ᗄx)(F(x)∨G(x))”

“(ᗄx)(ᗄy)(∃z)(R(x,y,z)→S(x,y,z,w))”都是前束范式。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/7 6:51:49