formal logicの語源
語源から深く理解しよう
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
formal logicの意味
EnglishBattle英和辞典
- 1名詞
意味 形式論理学
system of valid reasoning
厳密な妥当性の原則を用いる推論の体系
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
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
命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
和訳例 - 形式論理
- 形式的論理学
- 記号論理
同義語 - formal logic
- mathematical logic
- symbolic logic
上位語 a system of reasoning
推論のシステム
下位語 a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
真理が0から1の間の連続値を取ることができる数学的論理の一形式
a system of logic whose formal properties resemble certain moral and epistemological concepts
形式的特性が特定の道徳的および認識論的概念に類似する論理システム
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
個体と述語、個体に対する量化（および命題間の関係）を表現する記号論理のシステム
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
命題を単位として扱い、それらの組み合わせやそれらを関連付ける論理結合子に関する記号論理学の一分野
a system of symbolic logic devised by George Boole; used in computers
ジョージ・ブールが考案した記号論理のシステム；コンピュータで使用される
