超小小中大超大
直觉主义逻辑（二） (2-2)
好书推荐：
师尊：徒弟别乱来、
我在末世世界开超市、
冬华录、
穿越兽世做大厨、
数学联邦政治世界观、
异世界图书馆、
沅世无忧，结雨凝之……、
炮灰自救指南、
灵契：阴冥司、
倾世恋人：九尘君主的天才小君妃、
• c ⊩ ф∧ψ ⇔ c ⊩ ф c ⊩ ψ
• c ⊩ ф → ψ ⇔ c' ≥ c c' ⊩ ф c' ⊩ ψ
• c ⊮ ⊥.
• c ⊩ ¬ф ⇔ c' ≥ c c' ⊮ ф
定理13（完全性）
Γ ⊢ ф ⇔ Γ╞ ф ⇔ Γ ⊩ ф
数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。
相关小说
连载中
- 欲之源
- “如果我说我有一个神奇的能力，你信吗？”“是吗那是……”“吸引一些……不应该是很多莫名其妙的……人”【本文无三观】【慎入】
- 0.8万字1个月前
连载中
- 竹雨空山，微梦幻浮
- 这是小风风我闲着没事干，整的一本自己瞎写的诗词句本，还有小风风我，旁白，还有主角的“爱恨情仇”故事（其实就是monkey日常）。写的一点儿都......
- 0.1万字1个月前
连载中
- 随悟
- 随悟＋日常
- 0.2万字1个月前
连载中
- 无限人生局
- 人死后到了一个专门重生的地方，在那里，所有人将会删除记忆，得到特权，重新开始新的人生，但总有那么一类人会打破这个规则
- 42.4万字1个月前
连载中
- 绝世凤凰
- 上古唯一的凤凰化人，历尽人生喜怒哀乐，他是这个世界最强大的，却也是最无力的。爱而不得，龙神转世，却只能眼睁睁的看着自己心爱之人死于自己眼前。......
- 4.3万字1个月前
连载中
- 幻城之冰族小王子
- 1.3万字1个月前