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
Riwayat versi
- Versi 1.5 diposting di 2015-05-07
Tampilan yang lebih baik
Detil Program
- Kategori: Pendidikan > Alat Pengajaran & Pelatihan
- Penerbit: Laurent Théry
- Lisensi: Gratis
- Harga: N/A
- Versi: 1.5
- Platform: android