Deductions

Các khoản khấu trừ là phần mềm giáo dục được thiết kế để giúp học sinh học chứng minh trong logic hình thức. Nó được thiết kế để được sử dụng bởi các giảng viên và sinh viên của các khóa học lý cao đẳng trong triết học, toán học và khoa học máy tính. Nó cung cấp cho thông tin phản hồi ngay lập tức ở từng giai đoạn của một bằng chứng, cung cấp những gợi ý về cách để hoàn thành bằng chứng, và đi kèm với một tập hợp các video hướng dẫn mà giải thích và xem xét một số khái niệm thách thức trong logic. Các khoản giảm trừ nhằm mục đích để giải quyết ba vấn đề mà làm chứng minh các thành phần khó khăn nhất của các khóa học logic hình thức: không biết liệu quy định này được áp dụng một cách chính xác, bị mắc kẹt ở giữa một bằng chứng, và sự không chắc chắn về các quy tắc và chiến lược. Các khoản giảm trừ quyết những vấn đề này bằng cách đánh dấu những sai sót, trong đó có một công cụ gợi ý để đưa ra đề nghị về làm thế nào để hoàn thành một bằng chứng, và có hướng dẫn đa phương tiện để giúp học sinh thông qua các quy định phức tạp. Tính năng nổi bật: 1. Giáo trình: Các khoản giảm trừ được thiết kế để làm việc liên tục với các sách giáo khoa sau đây: (i) The Logic Book (bởi Bergmann, Moor, và Nelson), (ii) A Modern Formal logic Primer (Paul Teller), (iii ) Giới thiệu nghiêm trọng cho toán học Logic (bởi Tony Roy). 2. Gắn cờ lỗi - Trích cờ sai sót trong chứng minh ngay khi chúng xảy ra. Điều này là quan trọng, vì khi học sinh được học đầu tiên bằng chứng, ngăn chặn học sinh từ các khoản giảm trừ học luật sai. 3. Gợi ý Engine - Các khoản giảm trừ cung cấp những gợi ý về cách để hoàn thành chứng minh. Khi học sinh bị mắc kẹt ở giữa một bằng chứng, cho thấy khoản giảm trừ như thế nào để tiến bộ. 4. Hướng dẫn Multimedia - Các khoản giảm trừ đi kèm với một bộ các hướng dẫn đa phương tiện, được chia thành hai nhóm: làm thế nào để sử dụng khoản giảm trừ học logic, và làm thế nào để sử dụng các quy tắc logic. 5. Tính linh hoạt - Các khoản giảm trừ được thiết kế để làm việc với nhiều hệ thống logic khác nhau và sách giáo khoa. Cả hai biểu tượng tiêu chuẩn và thay thế được bao gồm, cũng như các quy tắc mà có thể được bật và tắt cá nhân. 6. Thiết kế hiện đại - Trích cung cấp một giao diện hiện đại. Như một mục mới vào một lĩnh vực mà không thấy nhiều thông tin cập nhật trong những năm gần đây (nhiều chương trình logic được viết cho hệ điều hành DOS, Windows 9x, hoặc là thô sơ applet Java), khoản trích thúc đẩy các công nghệ của Mac OS X cung cấp một giao diện người dùng sạch, hỗ trợ kéo-và-thả, và một hệ thống trợ giúp toàn diện. . 7. Hiệu quả hơn so với Giấy - Trích chăm sóc của các chi tiết chỉnh sửa bằng cách tự động điều chỉnh chứng minh khi dòng được thêm vào, xóa hoặc di chuyển

là gì mới trong phiên bản này:

• thêm hỗ trợ cho các hệ thống quy tắc logic Book PD +
  
• thêm hỗ trợ cho người khuyết hệ thống quy tắc + Giới thiệu ND
  
• tăng khả năng xuất khẩu một trích một tập tin văn bản
  
• tăng khả năng xuất khẩu một trích đoạn LaTeX

Hạn chế :

Chỉ quy tắc trích sau đây có sẵn trong các phiên bản dùng thử: Premise, Assumption, lặp lại, Liên từ Introduction, Liên từ Elimination, Giới thiệu điều kiện, điều kiện xóa bỏ, Dấu ngã Giới thiệu, Dấu ngã Elimination