请输入您要查询的字词:

 

单词 PrenexForm
释义

prenex form


A formulaMathworldPlanetmathPlanetmath in first order logic is said to be in prenex form if all quantifiersMathworldPlanetmath occur in the front of the formula, before any occurrences of predicatesMathworldPlanetmath and connectivesMathworldPlanetmath. Schematically, a propositionPlanetmathPlanetmath in prenex form will appear as follows

(Q1x1)(Q1x1)matrix

where each “Q” stands for either “” or “” and “matrix” is constructed from predicates and connectives. For example, the proposition

(x)(y)(z)(x>zy>z)

is in prenex form whilst the statement

(x)(x>0(y)(x=y2))

is not in prenex form, but is equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmath to the statement

(x)(y)(x>0x=y2)

which is in prenex form.

This requirement that the statement be expressed in prenex form puts no real restrictionPlanetmathPlanetmathPlanetmath on the statements which we may consider because it is possible to systematically express any statement in prenex form by a systematic use of the several equivalences:

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 6:16:10