- !!!用户新注册邮件系统遭恶意攻击,暂不能发送邮件,请隔天尝试。寻求解决方案中
- 【征集】西西河的经济学,及清流措施,需要主动参与者
- 『稷下学宫』新认证方式
- 24年网站打算和努力目标
主题:一个"千人断指叹",一个”哪能无工伤“--谁是肉食者! -- 怒发冲冠凭栏处
共:💬250 🌺1855 🌵55 新:
复 都看过了
逻辑有很多种。只要能满足有效性(soundness),保证推导出的结论不会存在逻辑不一致;加上一定的完备性(completeness),确保所有需要的结论都可以被推导出来。这样就是一种可用的逻辑。但是没有具体逻辑这一种说法。
因为不是学术讨论,写的不是很严谨。严格的定义还要加上符号表,推导规则等等。
- 相关回复 上下关系8