逻辑中有三种逻辑推理的方式：演绎、归纳和溯因。给定前提、结论和规则，而前提导致结论，则可分别解释如下：演绎用来决定'结论'。它使用规则和前提来推导出结论。数学家通常使用这种推理。归纳用来决定规则。它借由大量的 前提 和 结论 所组成的例子来学习 规则。科学家通常使用这种推理。溯因用来决定前提。它借由结论和规则来支援前提并解释结论。诊断和侦探通常使用这种推理。

1.06更新日志：
升级了内部sdk。
更新了逻辑推理目录索引。