propositional logicの語源
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
propositional logicの主な意味と例文
- 1名詞
意味 - 命題論理
- 命題論理学
- 論理学
a branch of logic that deals with the study and application of propositions, which can be either true or false
例文 Propositional logic is fundamental in computer science.
命題論理はコンピュータサイエンスの基本です。
Understanding propositional logic helps in solving complex algorithms.
命題論理を理解することは、複雑なアルゴリズムの解決に役立ちます。
propositional logicのWordNet
- 1名詞
意味 命題計算
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
命題を単位として扱い、それらの組み合わせやそれらを関連付ける論理結合子に関する記号論理学の一分野
和訳例 - 命題計算
- 命題論理
- 命題演算
同義語 - propositional logic
- propositional calculus
上位語 any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
