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

来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/22 05:15:44
已知:mother-of(x,y)表示"x是y的妈妈",分别将下列谓词表达式中的存在量词消去1.(∀x)(∃y)mother-of(x,y)2.(∃y)mother

已知: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)
自己想!