The Logic Calculator

這個免費的應用程序使命題邏輯的用戶可以像數學計算器一樣輕鬆地執行操作。通過提供大量反饋，它有助於邏輯學習者。確切地說，使用此應用程序，可以確定：（1）輸入格式是否正確；如果不正確，為什麼？（2）句子是重言式，自相矛盾還是有條件的；（3）句子集是否一致或不一致（4）參數有效或無效。它還會生成真值表，可以將其複製到其他應用程序中。從該版本開始，計算器僅限於語義運算。