propositional logic
「 propositional logic」の意味 意味
- 名 命題論理
「 propositional logic」の例文 例文
Many software verification tools use propositional logic to check Boolean properties.
多くのソフトウェア検証ツールはブール条件を検証するために命題論理を用いる。
「 propositional logic」のコアイメージ コアイメージ
命題論理は命題の真偽を扱い命題の結合と真理値計算に集中する論理体系
「 propositional logic」の英英 英英
A formal system that deals with whole propositions and their truth values, focusing on logical connectives and truth-value evaluation without quantifiers.
「 propositional logic」の語源 語源
propositional logicは、propositionはラテン語propositio「前に出すこと」から派生しlogicはギリシャ語logos「理性、言葉」から来ており命題を扱う論理体系を指す
「 propositional logic」のコラム コラム
- 命題論理は命題の真偽のみを扱い量化子や個体の性質は表現できないためより詳細な記述が必要な場合は述語論理を用いる
おすすめの単語帳
1 / 1
