f (x) は、モノ の性質とか モノ の集まりとかを表して、f (x, y) は、モノ と モノ との関係や モノ から モノ を作る関数を表しているので、なんらかの 「構造」 を調べるときには、これらのふたつの関数を使えば説明できるでしょう。さらに、その 「構造」 そのものを一つの関数 f (x) とみなせば、f が 「構造」 のしくみ [ 内部 ] を表して、x が その 「構造」 に作用する外部の モノ すなわち入力項とみなすこともできるでしょう──その f が いわゆる 「ブラックボックス」 の考えかたでしょう。

　事業分析・データ 設計のための モデル 作成技術 TM でいえば、f (x) の x が原帳票などの 「情報 （文字列）」 であって、f が 「構造」をつくる 「関係」 文法です── f （文字列） ということです。そして、f (x) の出力 [ y ＝ f (x) ] たる y が形式的構造です。そう考えれば、f は論理規則の集まりです。つまり、文字列を入力して、それらの文字列に対して論理規則を適用して、無矛盾な形式的構造を出力する しくみ を f (x) ＝ y が表している。数学では、この 「構造」 について、L-真 （導出的な真、無矛盾性、構文論的な真） と F-真 （真とされる値が充足されること、意味論的な真） が満たされていれば十分なのですが、事業分析のための モデル では、もう一つ要件を満たしていなければならない──その要件は、数学的構造と現実的構造との違いから生じる意味論的な真に関わる点です。その要件とは、「形式的構造と現実の事業構造が一致していなければならない」 ということです。その構造的一致を検証できる モノ は、事業過程のなかで生起している出来事・行為・取引 （TM で云う Event） なのです。それがゆえに、TM では、デイヴィトソン の Ｔ-文 （Test 文、検証するための規約） を真理条件にしています。デイヴィトソン は、「形式的言語 L では、形式的構造は 『Ｔ-文』 の テスト に対して開かれていなければならない」 ことを示しました （彼の著作 「行為と出来事」、「真理と解釈」）。

　　　　デイヴィトソン の Ｔ-文──

　　　　言明「p」が真であるのは、時刻 t において、事態 p と対応するときに限る。

　この Ｔ-文は、タルスキー の示した真理条件を下地にしています。

　　　　タルスキーの真理条件──

　　　　文「p」が真であるのは、p のとき、そしてそのときに限る。