五千年(敝帚自珍)

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

共:💬250 🌺1855 🌵55
全看分页树展 · 主题 跟帖
家园 我记得写了呀

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

因为不是学术讨论,写的不是很严谨。严格的定义还要加上符号表,推导规则等等。

全看分页树展 · 主题 跟帖


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

Copyright © cchere 西西河