网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
谓词演算中的名词。在一n元谓词后面的，由n个个体变项组成的n元组。同一个谓词变项在不同的公式里，或者同一个谓词变项在同一公式的不同部分中，可以有不同的目式。例如在合式公式：(ᗄx)(∃y)R(x，y)→(∃v)R(u，v)中，2元谓词R出现了两次。第一次出现时，目式为(x，y);第二次出现时，目式为(u，v)。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。