Deductions

Pengurangan adalah perangkat lunak pendidikan yang dirancang untuk membantu siswa belajar bukti dalam logika formal. Hal ini dimaksudkan untuk digunakan oleh instruktur dan siswa dari tingkat perguruan tinggi program logika dalam filsafat, matematika dan ilmu komputer. Ini memberikan umpan balik langsung pada setiap tahap bukti, memberikan petunjuk tentang cara untuk menyelesaikan bukti, dan dilengkapi dengan satu set video tutorial yang menjelaskan dan meninjau beberapa konsep yang menantang dalam logika. Pengurangan bertujuan untuk memecahkan tiga masalah yang membuat bukti komponen yang paling sulit dari program logika formal: tidak tahu apakah aturan diterapkan dengan benar, terjebak di tengah-tengah bukti, dan ketidakpastian tentang aturan dan strategi. Pengurangan membahas masalah ini dengan lesu kesalahan, termasuk mesin petunjuk untuk membuat saran tentang bagaimana untuk menyelesaikan bukti, dan memiliki tutorial multimedia untuk membantu siswa melalui aturan yang kompleks. Fitur Highlights: 1. Buku Teks: Pengurangan dirancang untuk bekerja secara lancar dengan buku berikut: (i) Logika Book (oleh Bergmann, Moor, dan Nelson), (ii) Modern Formal Logic Primer (oleh Paul Teller), (iii ) A Serious Pengantar Logika Matematika (by Tony Roy). 2. Kesalahan Pemberian tanda - Pengurangan bendera kesalahan dalam bukti segera setelah mereka terjadi. Hal ini penting, karena ketika siswa pertama kali belajar bukti, Pengurangan mencegah siswa dari belajar aturan yang salah. 3. Petunjuk Engine - Pengurangan memberikan petunjuk tentang cara untuk menyelesaikan bukti. Ketika siswa terjebak di tengah-tengah bukti, Pengurangan menunjukkan bagaimana untuk membuat kemajuan. 4. Multimedia Tutorial - Pengurangan dilengkapi dengan satu set tutorial multimedia, dibagi menjadi dua kelompok: bagaimana menggunakan Pengurangan untuk belajar logika, dan bagaimana menggunakan aturan logika. 5. Fleksibilitas - Pengurangan dirancang untuk bekerja dengan banyak sistem logika yang berbeda dan buku pelajaran. Kedua simbol standar dan alternatif termasuk, serta aturan-aturan yang dapat diaktifkan dan dinonaktifkan secara individual. 6. modern Desain - Pengurangan menyediakan antarmuka modern. Sebagai entri baru ke dalam bidang yang belum melihat banyak pembaruan dalam beberapa tahun terakhir (banyak program logika yang ditulis untuk DOS, Windows 9x, atau applet Java dasar), Pengurangan memanfaatkan teknologi dari Mac OS X untuk menyediakan antarmuka pengguna yang bersih, drag-and-drop dukungan, dan sistem bantuan yang komprehensif. . 7. Lebih Efisien dari Kertas - Pengurangan mengurus rincian editing dengan secara otomatis menyesuaikan bukti ketika garis ditambahkan, dihapus atau dipindahkan

Apa yang baru dalam rilis ini:

• menambahkan dukungan untuk The Logic Buku PD + sistem aturan
  
• menambahkan dukungan untuk diakses Pendahuluan ND sistem + aturan
  
• menambahkan kemampuan untuk mengekspor pengurang ke file teks
  
• menambahkan kemampuan untuk mengekspor pemotongan untuk potongan LaTeX

Keterbatasan :

Hanya mengikuti aturan pemotongan tersedia dalam versi trial: Premise, Assumption, pengulangan, Konjungsi Pendahuluan, Konjungsi Penghapusan, Conditional Pendahuluan, Conditional Penghapusan, Tilde Pendahuluan, Tilde Penghapusan