The Logic Calculator

Это бесплатное приложение позволяет пользователям логики высказываний выполнять операции с той же легкостью, что и математический калькулятор. Это облегчает изучение логики, обеспечивая значительную обратную связь. Чтобы быть точным, используя это приложение, можно определить: (1) правильно ли сформирован вход, и если нет, то почему, (2) предложения являются тавтологиями, противоречиями или условными, (3) наборы предложений являются последовательными или противоречивыми и (4) аргументы являются действительными или недействительными. Он также создает таблицы истинности, которые можно скопировать в другие приложения. Начиная с этой версии, калькулятор ограничен семантическими операциями.