精選版 日本国語大辞典 「述語論理」の意味・読み・例文・類語
じゅつご‐ろんり【述語論理】
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
論理学で定式化されている論理にはさまざまなものがあるが、主として使われるのは命題論理と述語論理である。命題論理は真偽の決められる文章を単位として扱うものである。一方、述語論理は述語とその引数に分かれて記述される。たとえば「ソクラテスは人である」という命題は「ソクラテス」という引数と「人である」という述語に分かれ、
人(ソクラテス)
というように書かれる。引数の部分には変数が使えるので一般規則が書ける。
「すべての人は死ぬ」という命題は、
∀x 人(x)→死ぬ(x)
というように表す。∀は「すべての」を意味する論理記号である。これらから、
死ぬ(ソクラテス)
が推論できる。
この推論を計算とみなすプログラミング言語にProlog(プロログ)がある。
[中島秀之 2019年8月20日]
出典 ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について 情報
《陸游「九月四日鶏未鳴起作」から。晴れ渡った空に突然起こる雷の意》急に起きる変動・大事件。また、突然うけた衝撃。[補説]「晴天の霹靂」と書くのは誤り。[類語]突発的・発作的・反射的・突然・ひょっこり・...
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新
1/12 日本大百科全書(ニッポニカ)を更新
12/11 日本大百科全書(ニッポニカ)を更新
11/10 日本大百科全書(ニッポニカ)を更新