A-> B (meta language) A⊢ B (formal language) A implies B ...
发简信
IP属地：上海
-
Proof Theory 摘要第五辑
Apply rules of inference to derive conclusions Schema：符合我们语言语法规则(除了用原变量替代various subpar...
-
-
Proof Theory 摘要第四辑
Logic Equivalence 当两个sentence在truth table里满足的条目完全一致时，我们认为这两个sentence满足 Logic Equivalenc...
-
Proof Theory 摘要第三辑
Proposition 指代的是在观察集内一种可能发生的条件 而 Propositional Logic 关注的是 Proposition 和他们之间的相互关系 Propos...
-
Proof Theory 摘要第二辑
一组判断（sentence）能否得到（entail not reasoning）一个结论(conclusion)的基础条件是，这组判断是否在任何情况上都为真。 A set o...
-
-
Proof Theory 摘要第一辑
证明理论（proof theory）是一个在数学证明中的概念，大多民间研究者被冠以”民科“的一大原因就是因为他们往往用一些想当然收集到的事例来证明自己的观点或者发现，这个论证...
-
刻个鬼哦刻！
战国时期楚国有一个人，坐船过江的时候不小心，携带的剑坠入了江中。于是他就在船边刻了个记号。船停了，他就从刻了记号的地方下水去寻找他的剑…… 好了好了，相信大家都知道，刻舟求剑...
-
-
-
如果你是程序员，或者有一颗喜欢写程序的心，喜欢分享技术干货、项目经验、程序员日常囧事等等，欢迎投稿《程序员》专题。 专题主编：小彤花园 http://www.jianshu.com/users/4a4eb4feee62/ 【程序员】专题拒稿指北：http://www.jianshu.com/p/7c8b33b5f63b 投稿须知： 1.收录相关技术文章，但不限于技术，也可以是项目经验类的文章和程序员日常。 2.文章內不得有任何推广信息。包括但不限于公众号、微博、微信，更不得在通过投稿后再修改文章加入推广信息。你可以将这些推广以及个人信息放在个人主页介绍里。 3.字数极少，段落混乱，大段代码没有放到代码框的文章不收录 4.不相关的内容不收录，请确认文章内容和本专题相关 目前针对优质作者及爱好者，开设了官方程序员微信群，希望加入请发简信给主编小彤花园索取个人微信，主编会将你加入到【程序员】微信群，分享内容，收获知识。添加微信时备注昵称。
