淘客熙熙

主题:一个"千人断指叹",一个”哪能无工伤“--谁是肉食者! -- 怒发冲冠凭栏处

  • 共: 💬 250 🌺 1855 🌵 55
逻辑有很多种 -- 补充帖

只要能满足有效性(soundness),保证推导出的结论不会存在逻辑不一致;加上一定的完备性(completeness),确保所有需要的结论都可以被推导出来。这样就是一种可用的逻辑。但是没有具体逻辑这一种说法。



有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河