The Logic Calculator

Bu ücretsiz uygulama, teklif mantığının kullanıcılarının, matematiksel bir hesap makinesi tarafından sunulan işlemlerle aynı işlemleri yapmasını sağlar. Mantık öğrenenlere hatırı sayılır geri bildirim sağlayarak kolaylaştırır. Kesin olarak, bu uygulamayı kullanarak, kişi aşağıdakileri belirleyebilir: (1) girdi iyi biçimlendirilmiş ve olmasa da, neden olmasın, (2) cümle totolojiler, çelişkiler veya koşullu, (3) cümle grupları tutarlı veya tutarsız mı ve (4) argümanlar geçerli veya geçersiz. Ayrıca diğer uygulamalara kopyalanabilecek doğruluk tabloları da üretir. Bu sürüm itibariyle, hesap makinesi anlamsal işlemlerle sınırlıdır.