DICTIONARY / 英ナビ!辞書

英和・和英 DICTIONARY
マイ単語帳

predicate calculus マイ単語帳に追加

WordNet

predicate calculus

名詞

  1. 述語論理

    a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).

    個々を表わし断定する記号論理学、および個々における量化のシステム(提案の関係と同様に)。

    言い換え

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

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

MY NOTEBOOK

マイ単語帳へ

HISTORY / 最近見た単語

履歴を消す

INDEX / 英ナビ!辞書 索引