well-formed formula

Noun

(logic) A statement that is expressed in a valid, syntactically correct, manner.

Japanese Meaning

論理学において、構文的に正しく、定められた形式に従って組み立てられた命題または論理式

命題論理では、文法的に正しい式は真理値の割り当てによって真または偽と評価されます。

Sense（1）

(logic) A statement that is expressed in a valid, syntactically correct, manner.

This program works correctly on all well-formed formulas but it blows up on illegal input.

well-formed formulas

（ plural ）

well-formed formulae

（ plural ）