Herbrand's theorem
plural of Lemelin
plural of graduate nurse
(logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
simple past tense and past participle of Sovietise
論理学のゼミでは、一階述語論理を命題論理に還元する基本的な結果を用いて、複雑な一階式を自動検査用の命題形式に変換しました。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
