formation rule

Noun

(logic) Any of a set of rules used to construct well-formed formulas of a formal language.

Japanese Meaning

形式言語において、正しく構成された式（ウェルフォームド・フォーミュラ）の生成を定める規則の集合 / 論理学や数学などの分野で使用される、正しい式を形成するための規則

To prove that the expression is valid, first check that it follows each formation rule of the formal language.

その式が有効であることを示すには、まず形式言語の各形成規則に従っているかを確認してください。

Sense（1）

(logic) Any of a set of rules used to construct well-formed formulas of a formal language.

formation rules

（ plural ）