Search results- English - English

Keyword:

subformula

Noun

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

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Related Words

subformulas

（ plural ）

subformulae

（ plural ）

Details

subformulas

Noun

form-of plural

plural of subformula

Japanese Meaning

「subformula」の複数形。つまり、単数形「subformula」に対して複数を表す活用形です。

What is this buttons?

When simplifying the expression, we identified several redundant subformulas that could be eliminated.

Google Translation / DeepL Translation

式を簡略化するとき、削除できるいくつかの冗長な部分式が見つかりました。

Details

subformulae

Noun

form-of plural

plural of subformula

Japanese Meaning

「subformula」の複数形（subformulaeは、subformulaの複数形として用いられる）

What is this buttons?

When simplifying the expression, the computer algebra system identifies identical subformulae to reduce computation.

Google Translation / DeepL Translation

式を簡約するとき、コンピュータ代数システムは計算量を削減するために同一の部分式を検出します。

Details

Search by Web