命題数学および論理計算機
Logic Calculator Freeは、論理命題の真理値を 2 つの異なる方法で提供するアプリです。変数の個別の真理値を入力して、命題全体に対応する単一の真理値 true または false を提供することも、論理命題を入力すると、使用されている変数の数に応じて、可能なすべての組み合わせを含む真理値表を自動的に提供することもできます。その場合、結果はトートロジー、偶然性、または矛盾となる可能性があります。
電卓には比較モードもあります。最大 3 つの命題を比較して、それらの等価性を検証します。検証後、比較の真理値表が自動的に作成されます。
サポートされる演算: AND、NAND、OR、NOR、XOR、IMPLICATION、BICONDITIONAL。
- この無料版では最大 6 つの変数を使用できます (64 通りの組み合わせ)。
- 構文エラーを見つけやすくするためにマークされています。
- キーボードのカスタマイズ。
- 複雑な計算のためにネストされた括弧、角括弧、およびキー括弧。
- ステップバイステップのデモンストレーション。
- 最後に計算された命題のリスト。
- 推論ルールのリスト。推論ルールのいずれかをテストできます。
- 新しい！等価則のリストと例。
- すべての論理演算子の真理値表理論。
- 計算にインターネット接続は必要ありません。
- 今後のアップデートでさらに多くの計算モードが追加されます!
続きを読む
