symbolic logicの主な意味と例文
1名詞
意味 記号論理学
a form of logic where symbols replace words
例文 Symbolic logic helps in understanding mathematical proofs.
記号論理は数学的証明を理解するのに役立ちます。
He studied symbolic logic in his computer science course.
彼はコンピュータサイエンスの授業で記号論理を学びました。
WordNetsymbolic logicと他の単語との繋がり
1名詞
意味 any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
無矛盾性と妥当性の抽象的な基準を確立するために、命題の内容からその形式を捨象する論理体系
同義語 上位語 - logical system論理体系
- logic論理
- system of logic論理体系
下位語 - Boolean algebraブール代数
- Boolean logicブール論理
- propositional calculus命題論理学
- propositional logic命題論理
- functional calculus関数解析
- predicate calculus述語計算
- modal logic様態論理
- fuzzy logicファジー論理