formal logicの主な意味と例文
1名詞
意味 - 形式論理学
- 論理形式
- 形式的推論
a system of reasoning that uses strict principles of validity
例文 Formal logic is essential in mathematics.
形式論理は数学に不可欠です。
He studies formal logic at university.
彼は大学で形式論理を勉強しています。
formal logicのWordNet
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ファジー論理