Natural Deduction 1.5
Lesen: Percuma Saiz fail: 1.15 MB
Penarafan Pengguna: 0.0/5 - 0 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Natural Deduction
Main dengan aplikasi ini dan bina beberapa bukti dalam gaya potongan semula jadi. Mengklik pada formula memperluaskannya secara automatik dengan peraturan yang mungkin. Andaian dicetak dalam warna biru. Terpilih salah seorang daripada mereka menjana subtree baru. Melampirkan dua pokok dilakukan dengan mengheret akar yang pertama ke daun yang kedua. Jika hanya ada satu kemungkinan, lampiran ini dilakukan secara automatik. Buktinya dilakukan apabila pokok itu dikelilingi segi empat tepat merah.
Selamat bergembira! Logik adalah menyeronokkan