Deductions 1.3

扣除是旨在帮助学生学习形式逻辑证明的教育软件。它的目的是要使用的教师和学生的大学水平课程的逻辑哲学，数学和计算机科学。它提供了在证明每个阶段的即时反馈，提供了有关如何完成证据提示，并配有一组视频教程，解释和检讨逻辑的几个挑战性的概念。扣除旨在解决三个问题，使样张的形式逻辑课程中最困难的部分：不知道规则是否正确应用，被陷在一个证明的中间，和不确定性有关的规则和策略。扣除由标记错误，包括一个提示引擎就如何完成一个证明，并有多媒体教程，以帮助学生通过复杂的规则的建议来解决这些问题。特色亮点：1，教材：扣除被设计为...