symbolic_logic

複数:

symbolic_logics

意味・定義

2つの辞書から5件の定義

日本語WordNet

4件

名詞

1形式論理学、形式論理、数学的論理学、記号論理学

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

ライセンス: BSD-style License

1件

1記号を用いて論理的推論を分析する論理学の分野。数学的論理学とも呼ばれ、コンピュータサイエンスの基礎となる。

A branch of logic that uses symbols to analyze logical reasoning. Also called mathematical logic, it forms the foundation of computer science.

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

全称量記号∀は記号論理学で「すべての」を意味する。

記号論理学はp、q、rのような表記法を使って命題を表す。

コンピュータサイエンスの学生は1年目に記号論理学を学ぶ。