Tab-Lou

説明

式の入力はソフトキーボードからも実際のキーボードからもできます。
[解析]ボタンまたはエンターキーで式の解析をします。

論理式の例：

A∨￢A
(A∧￢A)→Z
Z→(A∨￢A)
A→A
￢￢A→A
(A∧B)→A
(A∧B)→B
A→(A∨B)
B→(A∨B)
(A∧(A→B))→B
((A→B)∧(B→X))→(A→X)
(((A→B)∧(B→X))∧(X→Y))→(A→Y)
(((A∧(A→B))∧(B→X))∧(X→Y))→Y

∀xCx→∃yCy
=ab→=ba
(=ab∧=bc)→=ac
∀x=xx
∀x∀y(=xy→=yx)
∀x∀y∀z((=xy∧=yz)→=xz)
∃x=xa
￢∃x(=xa∧=xb)

sample text
bbb

式の入力

（キーボードによる直接入力もできます）

結果

前提

結論

タブロー

二重否定連言肯定連言否定選言肯定選言否定仮言肯定仮言否定
全称肯定全称否定存在肯定存在否定同一性肯定同一性否定

枝を閉じる

同一性により置き換える対象となる式（原子式または原子式の否定）を選択しましょう。

ドラッグして式を選択

エラー

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

警告

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

情報

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

個体名の選択

量化記号の展開のときの個体名の選択

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

置き換えの方向

同一性肯定のときの置き換えの方向

式：

[×]ボタン、またはこのダイアログ以外のところをクリックすると閉じます。

ここはデバッグ・テスト用本番では消えます