Natural Deduction 1.5
Lisensi: Gratis Ukuran file: 1.15 MB
Peringkat Pengguna: 0.0/5 - 0 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Natural Deduction
Mainkan dengan aplikasi ini dan buat beberapa bukti dalam gaya deduksi alami. Mengklik rumus secara otomatis memperluasnya dengan aturan yang mungkin. Asumsi dicetak dengan warna biru. Salah satunya menghasilkan subtree baru. Menempelkan dua pohon dilakukan dengan menyeret akar yang pertama ke daun yang kedua. Jika hanya ada satu kemungkinan, lampiran ini dilakukan secara otomatis. Pembuktian dilakukan ketika pohon dikelilingi oleh persegi panjang merah.
Selamat bersenang-senang! Logika itu menyenangkan