开源演绎推理工具——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

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20180612A07L4F00?refer=cp_1026
  • 腾讯「腾讯云开发者社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 cloudcommunity@tencent.com 删除。

扫码关注腾讯云开发者

领取腾讯云代金券