subformula

名詞

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

日本語の意味

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

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

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

意味（1）

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

subformulas

（ plural ）

subformulae

（ plural ）