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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/09 18:59:35

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