南京扛把子 发表于 2019-2-28 11:36:01

"
可能是老师的癖好，正常的写法是(∀x)(∃y)(Q(x,y))如果Q只有一项(没有&|逻辑)，括号是可以省略，但是感觉容易产生歧义。当然还是以你老师的为准www

南京扛把子 发表于 2019-2-28 11:37:30

本帖最后由 dabiantai 于 2019-2-28 12:24 编辑
"

这样话y的取值没有定义，使表达式成立的是任意的y还是某一个y呢

另外，这样子第一题和第三题是一样的，没有意义

dabiantai 发表于 2019-2-28 11:36:00

大佬聚集地
页: 1 2 [3]
查看完整版本: 万能的loc，懂数学逻辑的大神，帮我解一道题吧!!!!!!!!!!!!!!!!!