DICTIONARY / 英ナビ!辞書

英和・和英 DICTIONARY/ 英ナビ!辞書

mathematical logic

WordNet

mathematical logic

名詞

  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 symbolic logic

英ナビ!会員登録されていない方

SIGN IN 新規会員登録(無料)

RANKING / 単語ランキング

HISTORY / 最近見た単語

履歴を消す

INDEX / 英ナビ!辞書 索引

英検って?
英検級かんたん測定
英検対策の新しいカタチ
英検受験者専用 専用クーポンコードを使って無料で英語対策