Deductions 1.3

کسر نرم افزار آموزشی طراحی شده برای کمک به دانش آموزان اثبات در منطق صوری یادگیری است. این نظر گرفته شده است به توسط مدرسان و دانش آموزان از دوره منطق در سطح کالج در فلسفه، ریاضیات و علوم کامپیوتر مورد استفاده قرار گیرد. آن را می دهد بازخورد فوری در هر مرحله از اثبات، نکات در مورد چگونگی تکمیل اثبات فراهم می کند، و...