Github 项目推荐 | 开源演绎推理工具 —— therefore

  三段论（Syllogism）

在逻辑上，一个论点应该用演绎推理来得出两个（主要的，次要的）命题的结论。

在古法语中，三段论写作 silogisme，希腊语为 συλλογισμός，拉丁语为 syllogismos。

例如：

所有人都是凡人

苏格拉底是一个男人

∴ 苏格拉底是凡人

关于该工具的更多信息，请访问以下链接：

• https://en.wikipedia.org/Categorical_proposition

• https://en.wikipedia.org/Syllogism

• https://github.com/silogizma/therefore

实例可在 http://silogizma.org 上找到

TensorFlow 概率推理工具集 —— probability

▼▼▼