百科问答小站 logo
百科问答小站 font logo



关于推理所有A都是B,所有B都是C。那么“有些A是C”的结论正确吗?为什么? 第1页

  

user avatar   lljpcz 网友的相关建议: 
      

这个问题让我想到了模态逻辑里的(Lp→Mp)在每个世界都至少能看到一个世界的时候恒成立。

简单的说

如果希望从

任意a属于A,都满足性质P

推出

存在a属于A,满足性质P

需要且只需要补充条件

存在a属于A




  

相关话题

  中国教育体系内有逻辑学课程吗?为什么? 
  如何能更好地理解(ε-δ)语言极限的定义? 
  你最喜欢京极堂系列哪一部,为什么? 
  如何评价段奕宏、郝蕾、祖峰主演的悬疑网剧《八角亭谜雾》? 
  如何评价日本作家京极夏彦? 
  有哪些两个人玩的推理性很强的游戏? 
  为什么逻辑学三定律(同一律、矛盾律、排中律)不能被违反,违反会怎样? 
  《死神来了》如何逃脱死神的死亡设计? 
  一千七百年前的洛阳武库大火与四百年前明末王恭厂爆炸的最大嫌犯是谁? 
  根据完全正确的逻辑推理,高级扫雷(99个雷,16*30平铺网络)有解的概率是多少? 

前一个讨论
数列题求通项为什么都用n-1 ?n+1不是更好吗?都不要验证?
下一个讨论
自然数和非负整数有什么区别?





© 2025-05-07 - tinynew.org. All Rights Reserved.
© 2025-05-07 - tinynew.org. 保留所有权利