subformula

Noun

(logic) A formula that is part of another formula.

Japanese Meaning

他の論理式を構成する一部分となる論理式

When simplifying the proof, identify every subformula that can be replaced by an equivalent expression.

証明を簡略化するときは、同値な式に置き換えられる、他の式の一部である各部分式を特定してください。

Sense（1）

(logic) A formula that is part of another formula.

subformulas

（ plural ）

subformulae

（ plural ）