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
単位としての命題とそれらの組み合わせ、およびそれらを結びつける結合子を扱う記号論理学の一分野
同義語 上位語 - formal logic形式論理学
- mathematical logic数理論理学
- symbolic logic記号論理学