思合符契，基于零阶逻辑的推理系统

把知识整理成逻辑链

思合是一个推导工具：每条知识经由明确的推演彼此连接，结论可追溯、可检验，让个人的思考长成集体的知识网络。

思合能给你什么

知其所以然每条知识都连着支撑它的推演，点开就能追溯结论从哪些前提推导而来，不再只记住一句孤零零的结论。

知识 A知识 B推演知识 C

推演经得起检验你提出的推演会被人审议、验证或质疑，漏洞会在链条上显形，留下的是站得住的知识。

思考持续增值知识与推演不断累积、相互连接，你的一次深思可能正是别人下一条逻辑链的起点。