目式

谓词演算中的名词。在一n元谓词后面的,由n个个体变项组成的n元组。同一个谓词变项在不同的公式里,或者同一个谓词变项在同一公式的不同部分中,可以有不同的目式。例如在合式公式:(ᗄx)(∃y)R(x,y)→(∃v)R(u,v)中,2元谓 ......    （本文共 177 字 ）     [阅读本文] >>