网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
数理逻辑用语。狭谓词逻辑的一个公式是K-可满足的，当且仅当：对某个k个体域，至少有一个体常项、一个命题常项和一谓词常项，将它们代入公式里的相应变项以后，其结果是真的。其中K为自然数。所谓K个体域，是指由K个元素组成的集合。一个公式是K-可满足的，称为K-可满足公式。K-可满足公式必然是可满足公式，反之并不必然。例如，2-可满足公式“(∃x)F(x)∧(∃x)F(x)”，在1个体域中不可满足。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。