タブローを描くプログラム

論理式の定義

原子式

大文字または小文字のアルファベット一文字

1項演算子

否定

￢

2項演算子

かつ

∧

または

∨

条件

⊃

双条件

⇔

注意

2つの論理式を2項演算子でつないだ場合、つながれた論理式のどちらか (または両方) が原子式でないならば括弧に入れなければならない。ただし一番外側の括弧は省いてよい。

例:

• P⊃(Q⊃P)
• (P∨Q)⊃￢￢(Q∨(P∧Q))

使い方

矛盾した式であるかどうかを判定できます。恒真式の否定は矛盾した式になるので、これを利用して恒真式 (トートロジー) かどうかを判定できます。

たとえば

￢(P⊃(Q⊃P))

を判定してみて下さい。これが矛盾した式ならば、そこから否定を取り除いた

P⊃(Q⊃P)

は恒真式です。