The Logic Calculator

この無料アプリにより、命題論理のユーザーは、数学計算機が提供するのと同じ簡単さで操作を実行できます。かなりのフィードバックを提供することにより、ロジックの学習者を支援します。正確には、このアプリを使用して、（1）入力が整形式であり、そうでない場合は、なぜか、（2）文がトートロジー、矛盾または条件付きである、（3）文のセットが一貫しているか一貫していないかを判断できます（4）引数が有効または無効です。また、他のアプリケーションにコピーできる真理値表も作成します。このバージョンでは、計算機はセマンティック操作に制限されています。