求帮离散数学证明题,
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/07/05 01:07:36
求帮离散数学证明题,
![](http://img.wesiedu.com/upload/3/e1/3e1b55d815c2fe657d0d11a72af7323c.jpg)
![](http://img.wesiedu.com/upload/3/e1/3e1b55d815c2fe657d0d11a72af7323c.jpg)
![求帮离散数学证明题,](/uploads/image/z/17058718-46-8.jpg?t=%E6%B1%82%E5%B8%AE%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E8%AF%81%E6%98%8E%E9%A2%98%2C)
http://zhidao.baidu.com/question/440420036.html?oldq=1
再问: 什么符号打不出来?我把题打在这里,可以复制的 利用一阶逻辑的基本等价式,证明:∀x∀y(F(x) →G(y)) ⇔∃xF(x) →∀yG(y)
再问: 什么符号打不出来?我把题打在这里,可以复制的 利用一阶逻辑的基本等价式,证明:∀x∀y(F(x) →G(y)) ⇔∃xF(x) →∀yG(y)