Deductions 1.3

학생들은 형식​​ 논리에 증거를 학습 할 수 있도록 설계된 교육 소프트웨어는 공제입니다. 이 강사와 철학, 수학 및 컴퓨터 과학 대학 수준의 논리 과정의 학생들이 사용하기위한 것입니다. 그것은, 증거의 각 단계에서 즉각적인 피드백을 제공 교정을 완료하는 방법에 대한 힌트를 제공하고, 설명하고, 논리의 여러 도전 개념을 검토 비디오 자습서 세트와 함께 제공됩니다. 규칙은 규칙과 전략에 대한 증거의 중간과 불확실성에 갇히지, 올바르게 적용 여부를 모르고...