数学的論理学に関連する類語一覧
| 意義素(意味の分類) | 対応する類語・関連語 | |
|
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系 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
この場合の「形式論理学, 形式論理, 数学的論理学, 記号論理学」の意味
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
一貫性と妥当性の基準を立てるために、表現されたものを内容から引き出す論理体系
上位語
下位語
ブーリアン・ロジック, ブール代数, ブール論理, 命題論理, 述語論理
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！|
ログイン |
Weblio会員(無料)になると
|
