symbolic logicの語源
語源から深く理解しよう
この単語の語源は掲載準備中です。
掲載についてはEnglishBattle公式X で更新情報を発信しています。
symbolic logicの意味
EnglishBattle英和辞典
- 1名詞
意味 記号論理学
logic using symbols
言葉を記号に置き換えた論理体系
a form of logic where symbols replace words
和訳例 - 記号論理学
- シンボリックロジック
- 象徴的論理
例文 Symbolic logic helps in understanding mathematical proofs.
記号論理は数学的証明を理解するのに役立ちます。
He studied symbolic logic in his computer science course.
彼はコンピュータサイエンスの授業で記号論理を学びました。
symbolic 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
命題の内容からその形式を抽象化して、一貫性と妥当性の抽象的な基準を確立する論理体系
和訳例 - 形式論理
- 形式的論理学
- 記号論理
同義語 - symbolic logic
- formal logic
- mathematical 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
ジョージ・ブールが考案した記号論理のシステム；コンピュータで使用される
