Deductions

扣除是旨在帮助学生学习形式逻辑证明的教育软件。它的目的是要使用的教师和学生的大学水平课程的逻辑哲学，数学和计算机科学。它提供了在证明每个阶段的即时反馈，提供了有关如何完成证据提示，并配有一组视频教程，解释和检讨逻辑的几个挑战性的概念。扣除旨在解决三个问题，使样张的形式逻辑课程中最困难的部分：不知道规则是否正确应用，被陷在一个证明的中间，和不确定性有关的规则和策略。扣除由标记错误，包括一个提示引擎就如何完成一个证明，并有多媒体教程，以帮助学生通过复杂的规则的建议来解决这些问题。特色亮点：1，教材：扣除被设计为具有以下教科书无缝工作：（i）本逻辑书（由伯格曼，停泊和Nelson），（Ⅱ）现代形式逻辑底漆（由保罗·泰勒），（III ）严肃的介绍数理逻辑（由托尼·罗伊）。 2.标记错误 - 在扣除证明标志的错误，尽快为他们发生。这一点很重要，因为当学生们第一次学习证明，扣除防止学生学习错误的规则。 3.提示引擎 - 扣除项目提供了有关如何完成证据提示。当学生陷入一个证明的中间，扣除建议如何取得进展。 4.多媒体教程 - 扣除附带了一组多媒体教程，分为两组：如何用扣除学习逻辑，以及如何使用逻辑规则。 5.灵活性 - 扣除项目的设计与许多不同的逻辑体系和教材的工作。标准和替代符号都包括在内，以及可打开和关闭单个规则。 6.现代设计 - 扣除项目提供了一个现代的界面。作为一个新的进入还没有看到在最近几年很多更新（许多逻辑程序是为DOS，Windows 9x中写的，或者是基本的Java小程序）字段，扣除利用的Mac OS X的技术，提供干净的用户界面，拖和拖放支持，以及全面的帮助系统。 7.效率比纸 - 经扣除当行被添加，删除或移动自动调整样张负责的编辑细节

什么是新的本新闻稿中：

• 在添加支持的逻辑书PD +规则系统
  
• 增加了支持残疾人专用介绍ND +规则系统
  
• 添加到扣导出到文本文件的能力
  
• 添加到扣导出到LaTeX的代码片段的能力

限制：

只有以下规则扣中提供试用版：前提，假设，重述，连接词介绍，连词消除，有条件介绍，有条件的消除，波浪号介绍，波浪号消除