Use APKPure App
Get Forgik old version APK for Android
Forgik, doğal kesinti kullanarak dizileri kanıtlamak için bir eğitim uygulaması.
Forgik, doğal çıkarımı öğrenmek ve uygulamak için eğitici bir uygulamadır.
Çıkarım kurallarını kullanarak, amacınız birden fazla öncül varsayımı yaparak bir sonucu kanıtlamaktır.
Forgik, dışlanan orta kanunu da içeren belirli bir çıkarım kuralları kullanır.
Bu kurallar kümesine klasik mantık denir ve çelişki ile kanıtlara izin verir.
Şu anda, Forgik yalnızca teklif mantığını desteklemektedir.
Ancak kısa sürede, öngörü mantığı olarak da adlandırılan birinci dereceden mantığı destekleyecektir.
En son sürümde yeni olan 1.1.0
Last updated on Aug 7, 2020
- Show the goals of each ongoing subproof.
- Add proof report.
- Add visual animations.
- Simplify UI.
- Add new challenge.
Çeviri Yükleniyor...
Forgik
Propositional Logic P1.1.0 by Andy Poudret
Aug 7, 2020