mathematical logicに関連する類語一覧
| 意義素(意味の分類) | 対応する 類語・関連語 |
|---|---|
|
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系 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 詳細 |
「一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系」という意味の類語
formal logic, mathematical logic, symbolic logic
形式論理学、 形式論理、 数学的論理学、 記号論理学
- この場合の「formal logic, mathematical logic, symbolic logic」の意味
-
-
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系
-
