Deductions 1.3

扣除是旨在幫助學生學習形式邏輯證明的教育軟件。它的目的是要使用的教師和學生的大學水平課程的邏輯哲學，數學和計算機科學。它提供了在證明每個階段的即時反饋，提供了有關如何完成證據提示，並配有一組視頻教程，解釋和檢討邏輯的幾個挑戰性的概念。扣除旨在解決三個問題，使樣張的形式邏輯課程中最困難的部分：不知道規則是否正確應用，被陷在一個證明的中間，和不確定性有關的規則和策略。扣除由標記錯誤，包括一個提示引擎就如何完成一個證明，並有多媒體教程，以幫助學生通過複雜的規則的建議來解決這些問題。特色亮點：1，教材：扣除被設計為...