propositional calculusの主な意味と例文
1名詞
意味 - 命題論理学
- 命題計算
- 命題論理
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
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記号論理学