网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
| 标题 | 约束个体变元 |
| 类别 | 哲学 |
| 释义 | 约束个体变元 bound individual variables 公式中处处约束出现的个体变元。例如：“(ᗄx)F(x)”中的x，是约束个体变元。“(∃y)(F(y)∨R(y，z))”中的y，也是约束个体变元，z却不是约束个体变元。一个体变元在公式中出现多次时，可以既有约束出现，又有自由出现。此时，有一次约束出现的个体变元就并非约束个体变元。 |
| 随便看 |
|
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。