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).

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

    言い換え: functional calculus

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

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

RANKING / 単語ランキング

HISTORY / 最近見た単語

履歴を消す

INDEX / 英ナビ!辞書 索引

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