网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
亦称“谓词变项”。数理逻辑中表示某一范围内的任一谓词。一般用符号F，G，H，…表示。引进谓词变元可以标志同异和表示形式结构。例如在谓词逻辑公式(ᗄx)(R(x)∧Q(x))→R(y)中，第一个R和第二个R，是相同的谓词变元，它们虽不确定，但代表同一谓词。而R和Q是两个不同的谓词变元，通常它们代表不同的谓词，这就是标志同异的意思。此外，谓词变元的引入可以表示形式结构，如n元谓词的形式可以写成R(x1，…，xn)。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。