形式逻辑 map∧som→sip推理是否正确?为什么?

2024-12-14 12:53:00
推荐回答(1个)
回答1:

不正确,举个反例:由所有的男人都是人,有些牛不是男人,能推出有些牛是人吗