「理論編-6」 では、TM （Ｔ字形 ER手法） の生成規則・指示規則の前提になっている「『真理関数』 と 『２値 ロジック （真偽の二値のみを扱う ロジック）』」 を まとめました。

　「真理関数」 とは、真や偽といった値 （真理値） を入出力にした関数のことを云います。「真理値表」 とは、合成命題の真偽と、それを構成している単一命題の真偽を まとめた 「表」 です。「理論編-3」 で、「経験論的な言語 L」 の語彙として、「論理学の語句」 と 「観察術語」 を示したました。「論理学の語句」 のなかで、以下の否定語・接続語が、ふつう、「論理定項」 とよばれています。

　　（1） 「〜 でない」 （論理的否定、『¬』 という記号を使う）。
　　（2） 「および」 （連言とか論理積ともいい、『∧』 という記号を使う）。
　　（3） 「または」 （選言とか論理和ともいい、『∨』 という記号を使う）。
　　（4） 「〜 ならば」 （仮言ともいい、『⇒』 という記号を使う）。

　いま、「真」 を 「T」 として、「偽」 を 「F」 として表せば、次の真理値表が得られます。

　　　┌─┬─┬───┐　　┌─┬─┬───┐　　┌─┬──┐
　　　│ｐ│ｑ│ｐ∧ｑ│　　│ｐ│ｑ│ｐ∨ｑ│　　│ｐ│¬ｐ│
　　　├─┼─┼───┤　　├─┼─┼───┤　　├─┼──┤
　　　｜Ｔ│Ｔ│　Ｔ　│　　│Ｔ｜Ｔ│　Ｔ　│　　｜Ｔ｜　Ｆ｜
　　　├─┼─┼───┤　　├─┼─┼───┤　　├─┼──┤
　　　│Ｔ│Ｆ│　Ｆ　│　　│Ｔ│Ｆ│　Ｔ　│　　│Ｆ│　Ｔ│
　　　├─┼─┼───┤　　├─┼─┼───┤　　└─┴──┘
　　　│Ｆ│Ｔ│　Ｆ　│　　│Ｆ│Ｔ│　Ｔ　│
　　　├─┼─┼───┤　　├─┼─┼───┤
　　　│Ｆ│Ｆ│　Ｆ　│　　│Ｆ│Ｆ│　Ｆ　│                 
　　　└─┴─┴───┘　　└─┴─┴───┘

　ちなみに、「⇒ （ならば）」 は、「¬」 と 「∨」 を使って記述できます。つまり、「ｐ⇒ｑ」 は 「¬ｐ∨ｑ」 と同値です。

　「論理的に 『真』 な命題」 とは、合成命題を作っている・すべての単一命題の論理的可能性に対して、「つねに」、「真」 である命題を云います。たとえば、「ｐ⇒（ｐ∨ｑ）」 という合成命題は、以下の真理値表から判断できるように、「真」 です。そういう命題のことを 「恒真命題 （あるいは、トートロジー）」 と云います。

　　　┌─┬─┬───────┐
　　　│ｐ│ｑ│ｐ⇒（ｐ∨ｑ）│
　　　├─┼─┼───────┤
　　　｜Ｔ│Ｔ│　　　Ｔ　　　│
　　　├─┼─┼───────┤
　　　｜Ｔ│Ｆ│　　　Ｔ　　　│
　　　├─┼─┼───────┤
　　　｜Ｆ│Ｔ│　　　Ｔ　　　│
　　　├─┼─┼───────┤
　　　｜Ｆ│Ｆ│　　　Ｔ　　　│
　　　└─┴─┴───────┘

　ロジック （論理学） ──あるいは、「科学」 と云ってもいいのかもしれないのですが──は、そういう トートロジー を 「定理」 として作ることでしょうね。

　さて、事業過程を対象にすれば、こういう ロジック は、トートロジー を作るのではなくて、たとえば、真理値表を使って、「事態の成立・不成立」 を調べることになるでしょう。たとえば、ｐ と ｑ を、それぞれ、「従業員」 と 「部門」 だとすれば、「従業員と部門の対照表 （真理値表）」 は、その真理値表が構成する 「意味」 （ここでは、「配属」 という事態） のなかで、関与・非関与を示します。ｐ が 「T」 で、ｑ が 「F」 ならば、「従業員」 が成立しても、「部門」 が成立しないということを示します。すなわち、「配属されていない従業員」 がいることを示しています。
　2項関係では、4つの場合分け｛（T, T）, （T, F）, （F, T）, （F, F）｝ を考えることができますね。

　TM は、「情報 （帳票、画面、レポート などの『語-言語』）」 を対象にして、こういう命題の 「論理演算」 をやる テクニック です。言い換えれば、「情報」 を合成命題として考えて、合成命題を単一命題にばらして、合成命題の 「構成」 を調べる、という テクニック です。

　「論理演算」 では、事前にきめられた語彙を前提にして、文を作りますから、当然ながら、以下の 2つの規則を守らなければならないでしょう。

　　（1） 事前に定義された語彙のほかの ことば を、演算の途中で持ち込んではいけない。

　　（2） 文の生成規則に従って構成された命題が、どのような現実的事態を指示しているのかを験証しなければならない。

　この規則を、「経験論的な言語 L」 のなかで、「真理関数 （論理演算）」 の規則として、本編で確認した次第です。 □