谓词常数 2) Predicate function 谓词函数 3) numerical predicate 数谓词 4) semi-predicate function 半谓词函数 5) Predicate Relation DataBase 谓词关系数据库 6) predicates[英]['predikit] [美]['prɛdɪkɪt] 谓词 1. Based on
论域 D={1,2}指定常数a:1,b:2指定函数f:f (1)=2,f (2)=1指定谓词P:P(1,1)T,P(1,2)T,P(2,1)F,P(2,2)F求以下各式的真值。〔1〕P(a,f(a))∧P(b,f(b))〔2〕(x)(y)P(y,x)〔3〕(x)( y)(P(x,y)→P(f (x),f (y))) ...
谓词逻辑中两个常数值中的任一个都是句子() 查看答案