subformula
(logic) A formula that is part of another formula.
A surname from German.
simple past tense and past participle of pollicate
simple past tense and past participle of sit by
証明を簡略化するときは、同値な式に置き換えられる、他の式の一部である各部分式を特定してください。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
