BabelNet

bn:00036829n

Noun Concept

Categories: 数理論理学, 述語論理, チャールズ・サンダース・パース, 数学に関する記事, 古典論理

述語論理一階述語論理汎函数計算汎関数計算第一階述語論理

個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に） Japanese Open Multilingual WordNet

Definitions

Relations

Sources

個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に） Japanese Open Multilingual WordNet

数学における汎函数計算（はんかんすうけいさん、英: functional calculus）は、作用素に函数を適用する（函数の引数に作用素をとる）方法を与える理論である。 Wikipedia

述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理、無限論理などが含まれる。 Wikipedia

一階述語論理（英: first-order predicate logic）とは、個体の量化のみを許す述語論理である。 Wikipedia

IS A

HAS PART

PART OF

HAS KIND

DESCRIBED BY SOURCE

DIFFERENT FROM

STUDIED BY

USES

Japanese Open Multilingual WordNet

述語論理

Wikipedia

一階述語論理, 汎函数計算, 述語論理

Wikidata

一階述語論理, 汎函数計算, 述語論理

Wikipedia Redirections

汎関数計算, 第一階述語論理, 述語論理学

Wikidata Alias

汎関数計算, 述語論理学

WordNet Translations

述語計算, 関数計算

Wikipedia Translations

関数計算