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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/03 05:39:54
已知: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)

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