(logic) An expression containing algebraic symbols that serve to represent words or other elements of a sentence or proposition
propositional function
数学者は、命題の構成要素を代数記号で表す式がどのように整数についての命題を形式化するために使えるかを説明した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★