弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
谓词变元指的是数理逻辑中表示某一范围内的任谓词。一般用符号F，G，H，···表示。引进谓词变元可以标志同异和表示形式结构。例如在谓词逻辑公式(Vx)(R(x)∧Q(x))→R(y)中，第一个R 和第一个R,是相同的谓词变元，它们虽不确定，但代表同谓词。而R和Q是两个不同的谓词变元通常是它们代表了不同的谓词，这就是标志问异的意思。
【谓的意思】：谓（謂） wèi（ㄨㄟˋ） （一）、告诉：人谓予曰。（二）、称呼，叫作：称谓。何谓人工呼吸？（三）、 详情>
【词的意思】：词（詞） cí（ㄘˊ） （一）、语言里最小的可以独立运用的单位：词汇。词书。词典。词句。词序。词组。 详情>
【变的意思】：变（變） biàn（ㄅ一ㄢˋ） （一）、性质状态或情形和以前不同，更改：变调。变动。变法。变为。变革 详情>
【元的意思】：元 yuán（ㄩㄢˊ） （一）、头、首、始、大：元凶。元首。元旦。元年。元勋。元帅。状元（科举考试第 详情>
