语言
没有数据
通知
无通知
一階述語論理（英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英:
高階述語論理（こうかいじゅつごろんり、英: Higher-order logic）は、一階述語論理と様々な意味で対比される用語である。 例えば、その違いは量化される変項の種類にも現われている。一階述語論理では、大まかに言えば述語に対する量化ができない。述語を量化できる論理体系については二階述語論理に詳しい。
述語論理（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、 全称量化子 ∀
(1)文の成分の一。 文中で「何がどうする」「何がどんなだ」「何が何だ」における「どうする」「どんなだ」「何だ」にあたる語または文節をいう。 「花が散る」「頬(ホオ)が赤い」「あれが駅だ」における「散る」「赤い」「駅だ」の類。
記述二元論（きじゅつにげんろん、英: Predicate Dualism）とは、物事の記述の仕方が二通り以上あって、かつそれらが互いに還元不可能な場合がある、という考え。 [脚注の使い方] ^ Robinson, Howard, "Dualism - 2.1 Predicate dualism", The
二階（にかい） 二階 (松本清張) 二階町(曖昧さ回避) - 地名 二階健 - 日本の映画監督・映像作家・クリエイター。 二階俊太郎 - 日本の政治家、実業家。 二階俊博 - 日本の政治家。第48代自由民主党幹事長。 二階尚人 - 日本の外交官。 「二階」で始まるページの一覧 タイトルに「二階」を含むページの一覧
発達段階理論（はったつだんかいりろん、英: developmental stage theories）とは、ヒトの児童期発達を、行動の質的差異によって特徴づけられる段階に分割できるという理論。 心理的・身体的発達が生涯にわたってどのように進行するかについては、いくつかの異なる見解が存在する。発達に
二段階革命論（にだんかいかくめいろん）とは、革命を二段階で行う事。特にマルクス・レーニン主義の社会主義や共産主義勢力における主要テーマの1つ。 発達した資本主義ではない国で社会主義を目指すための長期方針として通常は、まずは絶対君主制や封建制度などを廃止するブルジョア民主主義革命を発生させ、資本主義
搜索 
搜索 搜索 
