Logic: Deduction

Menggunakan deduksi untuk membuktikan validitas argumen tidak ubahnya memainkan salah satu dari banyak permainan papan. Di checker, misalnya, ada papan dan satu set token. Anda memindahkan token di papan sesuai dengan seperangkat aturan untuk mencapai tujuan tertentu. Dalam bukti deduktif ada seperangkat premis dan kesimpulan. Tujuannya adalah memanipulasi premis dengan seperangkat aturan inferensi untuk mendapatkan kesimpulan. Tidak diperlukan prasyarat untuk menggunakan aplikasi ini. Ini berisi dokumentasi yang cukup untuk pengguna.

Nikmati aplikasinya.