subformula
A surname from German.
simple past tense and past participle of pollicate
simple past tense and past participle of sit by
(logic) A formula that is part of another formula.
証明を簡略化するときは、同値な式に置き換えられる、他の式の一部である各部分式を特定してください。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
