逻辑学吧 关注:37,791贴子:144,091
  • 5回复贴,共1

请问大家,这道题该如何解答

只看楼主收藏回复



IP属地:重庆来自Android客户端1楼2023-06-05 16:20回复
    现有一元谓词符号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))


    IP属地:重庆来自Android客户端2楼2023-06-05 16:20
    收起回复
      不懂呀。


      IP属地:北京来自Android客户端3楼2023-06-05 18:11
      收起回复
        不懂+1


        IP属地:河北来自Android客户端5楼2023-06-05 19:41
        回复