![](/statics/img/blank.png)
Natural Deduction 1.5
Lisans: Ücret -siz Dosya boyutu: 1.15 MB
Kullanıcı Derecelendirmesi: 0.0/5 - 0 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda Natural Deduction
Bu uygulama ile oynayın ve doğal kesinti tarzında bazı provalar oluşturun. Bir formüle tıklatma, formülü olası kurallarla otomatik olarak genişletir. Varsayımlar mavi ye yazdırılır. Bunlardan biri seçilen yeni bir alt ağaç oluşturur. İki ağacın takılması, ilkinin kökünü ikincisinin yaprağına sürükleyerek yapılır. Yalnızca bir olasılık varsa, bu ek otomatik olarak gerçekleştirilir. Kanıt, ağaç kırmızı bir dikdörtgenle çevrildiğinde yapılır.
İyi eğlenceler! Mantık eğlencelidir.