命題論理
「命題論理」の英語
「命題論理」は英語で propositional logic と言います。命題の真偽や命題同士の結合を扱う、最も一般的な表現です。propositional calculus は同じ分野を計算体系として捉える、やや専門的な言い方です。
「命題論理」の英語の使い分け
命題の真偽や論理式を扱う分野を広く指す、最も一般的な表現です。
真理値表や推論規則による計算体系を強調する専門的な表現です。
例文
Many software verification tools use propositional logic to check Boolean properties.
多くのソフトウェア検証ツールはブール条件を検証するために命題論理を用いる。
コアイメージ
命題論理は命題の真偽を扱い命題の結合と真理値計算に集中する論理体系
英英
A formal system that deals with whole propositions and their truth values, focusing on logical connectives and truth-value evaluation without quantifiers.
語源
propositional logicは、propositionはラテン語propositio「前に出すこと」から派生しlogicはギリシャ語logos「理性、言葉」から来ており命題を扱う論理体系を指す
コラム
- 命題論理は命題の真偽のみを扱い量化子や個体の性質は表現できないためより詳細な記述が必要な場合は述語論理を用いる
例文
Students learned propositional calculus to analyze logical arguments.
学生たちは論理的議論を分析するために命題論理を学んだ。
コアイメージ
命題論理として、命題を真偽値で扱い真理値表やブール代数で論理式を解析する枠組み
英英
A system that treats propositions as true/false values and analyzes logical formulas using truth tables and Boolean algebra to assess logical relationships.
語源
propositional calculusは、19世紀の論理学と代数学の接点で発展し、命題を真偽で扱う計算法という意味でcalculusが付された用語である
コラム
- 命題論理はデジタル回路や論理回路設計、プログラムの条件式の基礎を与えるため工学やコンピュータ科学で実務的に利用される
「命題論理」のレベル別の例文
- 中学
A computer uses propositional logic to work with true and false statements.
- 高校・英検2級
In propositional calculus, the value of a compound statement depends on its parts.
- TOEIC・ビジネス
The engineers used propositional logic to verify the system's safety requirements.
- 日常会話
I have to review propositional logic for tomorrow's class.
「命題論理」を英語にするときのよくある間違い
× proposition logic
propositionではなく、形容詞のpropositionalを使います。