コトバンクはYahoo!辞書と技術提携しています。

述語論理 じゅつごろんり

3件 の用語解説(述語論理の意味・用語解説を検索)

ASCII.jpデジタル用語辞典の解説

述語論理

命題(真か偽かがはっきり定まっている内容)をいくつか組み合わせて知識としたもの。Prologでは、述語論理の体系の一部が応用されている。

出典|ASCII.jpデジタル用語辞典
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

じゅつご‐ろんり【述語論理】

記号論理学の一部門。命題内部の論理構造である主語と述語の関係「すべての主語は…である」「ある主語は…である」などを、論理記号(全称∀・存在∃など)によって記号化して研究するもの。→命題論理

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

大辞林 第三版の解説

じゅつごろんり【述語論理】

記号論理学で、命題どうしの結合関係のみを扱う命題論理と異なり、命題の内部構造である主語と述語との関係を中心に分析する論理。例えば、「 x F である」は、個体変項 x と述語 F からなる命題関数 F x )として表される。また、量記号を導入したり、さらに高階述語論理へ拡張したりすることによって、現代数学における数論や集合論と密接な関係をもつに至る。

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

述語論理の関連キーワード論理演算論理記号記号論理学形式論理学伝統的論理学命題論理学数理論理学タルスキ二値論理学命題論理

今日のキーワード

アレルギー

語源はギリシャ語。「変わった(変えられた)働き」です。関係しているのは、人間の免疫システム。免疫は本来、人の体を守る仕組みですが、ときに過剰反応し、不快な症状を引き起こすことがあります。それがアレルギ...

続きを読む

コトバンク for iPhone