现有一元谓词符号P,二元关系符号R,常元符号a,以及一元函数符号f。模型M=(D,I)的定义如下:
D={小王,小张,小美}
I(P)={小王}
I(R)={(小王, 小张),(小张, 小美)}
I(a)=小张
I(b)=小王
I(c)=小美
请进一步给出一元函数符号f的解释,使得如下两个公式在M上为真:
P(f(a))
R(a,f(b))
D={小王,小张,小美}
I(P)={小王}
I(R)={(小王, 小张),(小张, 小美)}
I(a)=小张
I(b)=小王
I(c)=小美
请进一步给出一元函数符号f的解释,使得如下两个公式在M上为真:
P(f(a))
R(a,f(b))