▽ equvalence〔論理〕形式等価物.

▽ grmmar形式文法《語や文構造の形式に重点をおく文法；notional grammar に対する》.

▽ lnguage (1)形式言語《数学・論理学・コンピュータなどで用いられる；cf. natural language》. (2)〔論理〕形式語. (3)(書き言葉・話し言葉で用いられる)堅苦しい言葉(⇔ informal language).

▽ lgic (1)〔哲学〕形式論理学《内容よりも理論の演繹的推論・形式的構造を扱う論理体系；カントの思惟形式一般を考える論理学》. (2)(一般に)形式論.

▽ mthodsフォーマルメソッド《数学や論理学から技術的ヒントを引き出すコンピュータシステムの評価, またそれを詳しく説明する方法》.

▽ mde〔哲学〕形式モード《単語を文章の一部としてではなくはっきりと明示させる形》.

▽ sstem〔論理〕形式体系《統語関係が厳密に定義された記号体系；〜 theory [calculus] ともいう》.

▽ thory〔論理〕＝〜 system.

▽ nivrsal〔言語〕形式上の普遍特性《普遍文法を定式化する法則から成る体系》.

【名】

for・mal^２ fml｜f-