propositional calculusの語源
語源から深く理解しよう
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
propositional calculusの意味
EnglishBattle英和辞典
- 1名詞
意味 命題論理学
logic of propositions
命題論理学
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
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
命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
