APP 谓词演算中的名词。在一n元谓词后面的,由n个个体变项组成的n元组。同一个谓词变项在不同的公式里,或者同一个谓词变项在同一公式的不同部分中,可以有不同的目式。例如在合式公式:(ᗄx)(∃y)R(x,y)→(∃v)R(u,v)中,2元谓 （本文共 177 字 ） [阅读本文] >>
海量资源，尽在掌握
谓词演算中的名词。在一n元谓词后面的,由n个个体变项组成的n元组。同一个谓词变项在不同的公式里,或者同一个谓词变项在同一公式的不同部分中,可以有不同的目式。例如在合式公式:(ᗄx)(∃y)R(x,y)→(∃v)R(u,v)中,2元谓 （本文共 177 字 ） [阅读本文] >>
开通会员，享受整站包年服务
说明： 本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报