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

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

 

标题 命题函项
类别 哲学
释义 命题函项     propositional function

亦称“命题函数”。除含常项外还含自由变项的表达式。这里的常项指命题常项、个体常项和谓词常项;变项指命题变项、个体变项和谓词变项等。当用常项代替表达式的变项后,表达式就成了命题。为此,命题函项即是其值为命题的函项。例如,在命题函项“x是自然数”中,x是自由个体变项,它的变域为一切实数,“是自然数”是谓词常项。当用个体常项2代表x后,这个命题函项成了一个真命题“2是自然数”。当用代替x时,这个命题函项成了一个假命题“是自然数”。另外,当对命题函项中的自由变项加全称量词或存在量词约束后,它就成为全称命题或特称命题。例如:“一切x是自然数”是全称命题,“有些x是自然数”是特称命题。因而命题函项本身无所谓真假,所以它不同于命题,只有当自由变项被常项代入后,或自由变项均被量词约束后,它才成为命题。

随便看

 

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

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/9 20:21:25