well-formed formulae

Noun

form-of plural

plural of well-formed formula

Japanese Meaning

「整形式論理式」の複数形。つまり、形成規則に従って正しく構成された論理式（well-formed formula）の複数形を指す。

When studying predicate logic, students must learn to recognize well-formed formulae before attempting proofs.

述語論理を学ぶ際、学生は証明に取り組む前に整形式を識別することを学ばなければならない。

Sense（1）

plural of well-formed formula