Deductions

扣除是旨在幫助學生學習形式邏輯證明的教育軟件。它的目的是要使用的教師和學生的大學水平課程的邏輯哲學，數學和計算機科學。它提供了在證明每個階段的即時反饋，提供了有關如何完成證據提示，並配有一組視頻教程，解釋和檢討邏輯的幾個挑戰性的概念。扣除旨在解決三個問題，使樣張的形式邏輯課程中最困難的部分：不知道規則是否正確應用，被陷在一個證明的中間，和不確定性有關的規則和策略。扣除由標記錯誤，包括一個提示引擎就如何完成一個證明，並有多媒體教程，以幫助學生通過複雜的規則的建議來解決這些問題。特色亮點：1，教材：扣除被設計為具有以下教科書無縫工作：（i）本邏輯書（由伯格曼，停泊和Nelson），（Ⅱ）現代形式邏輯底漆（由保羅·泰勒），（III ）嚴肅的介紹數理邏輯（由托尼·羅伊）。 2.標記錯誤 - 在扣除證明標誌的錯誤，盡快為他們發生。這一點很重要，因為當學生們第一次學習證明，扣除防止學生學習錯誤的規則。 3.提示引擎 - 扣除項目提供了有關如何完成證據提示。當學生陷入一個證明的中間，扣除建議如何取得進展。 4.多媒體教程 - 扣除附帶了一組多媒體教程，分為兩組：如何用扣除學習邏輯，以及如何使用邏輯規則。 5.靈活性 - 扣除項目的設計與許多不同的邏輯體系和教材的工作。標準和替代符號都包括在內，以及可打開和關閉單個規則。 6.現代設計 - 扣除項目提供了一個現代的界面。作為一個新的進入還沒有看到在最近幾年很多更新（許多邏輯程序是為DOS，Windows 9x中寫的，或者是基本的Java小程序）字段，扣除利用的Mac OS X的技術，提供乾淨的用戶界面，拖和拖放支持，以及全面的幫助系統。 7.效率比紙 - 經扣除當行被添加，刪除或移動自動調整樣張負責的編輯細節

什麼是新的本新聞稿中：

• 在添加支持的邏輯書PD +規則系統
  
• 增加了支持殘疾人專用介紹ND +規則系統
  
• 添加到扣導出到文本文件的能力
  
• 添加到扣導出到LaTeX的代碼片段的能力

限制：

只有以下規則扣中提供試用版：前提，假設，重述，連接詞介紹，連詞消除，有條件介紹，有條件的消除，波浪號介紹，波浪號消除