propositional calculusの語源
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
propositional calculusの主な意味と例文
1名詞命題論理学
意味 - 命題論理学
- 命題計算
- 論理命題
a branch of logic dealing with the relationships between propositions.
例文 We studied propositional calculus in our logic class.
私たちは論理学の授業で命題論理を学んだ。
Propositional calculus is fundamental to understanding logical arguments.
命題論理は論理的な議論を理解する上で基本である。
propositional calculusのWordNet
1名詞命題計算
意味 a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
命題を単位として扱い、それらの組み合わせやそれらを関連付ける論理結合子に関する記号論理学の一分野
和訳例 - 命題計算
- 命題論理
- 命題演算
同義語 - propositional calculus
- propositional logic
上位語 any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
