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

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

 

标题 个体变元的自由出现
类别 哲学
释义 个体变元的自由出现     free occurence of individual variable

数理逻辑用语。一个体变项△在一公式A的某一位置上为自由出现,当且仅当,此位上的△满足:(1)不在量词(ᗄ…)和(∃…)之中,并且(2)不在量词(ᗄ△)和(∃△)的辖域之中。例如:在:“(∃x)(p∨R(x,y))”中,“y”为自由出现。

随便看

 

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

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/5 22:16:36