已知:mother-of(x,y)表示"x是y的妈妈",分别将下列谓词表达式中的存在量词消去1.(∀x)(∃y)mother-of(x,y)2.(∃y)mother-of(x,y)

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/26 00:48:03
已知:mother-of(x,y)表示
x){}K_ZQSbKv)U<:HIiGӎO7=c _}o=Ov];/R϶u

已知:mother-of(x,y)表示"x是y的妈妈",分别将下列谓词表达式中的存在量词消去1.(∀x)(∃y)mother-of(x,y)2.(∃y)mother-of(x,y)
已知:mother-of(x,y)表示"x是y的妈妈",分别将下列谓词表达式中的存在量词消去
1.(∀x)(∃y)mother-of(x,y)
2.(∃y)mother-of(x,y)

已知:mother-of(x,y)表示"x是y的妈妈",分别将下列谓词表达式中的存在量词消去1.(∀x)(∃y)mother-of(x,y)2.(∃y)mother-of(x,y)
自己想!