The Logic Calculator

Aplikasi gratis ini memungkinkan pengguna logika proposisional untuk melakukan operasi dengan kemudahan yang sama seperti yang ditawarkan oleh kalkulator matematika. Ini memfasilitasi pelajar logika dengan memberikan umpan balik yang cukup. Lebih tepatnya, menggunakan aplikasi ini, orang dapat menentukan apakah: (1) input terbentuk dengan baik dan, jika tidak, mengapa tidak, (2) kalimat adalah tautologi, kontradiksi atau kontingen, (3) rangkaian kalimat konsisten atau tidak konsisten dan (4) argumen valid atau tidak valid. Ini juga menghasilkan tabel kebenaran yang dapat disalin ke aplikasi lain. Pada versi ini, kalkulator dibatasi untuk operasi semantik.