出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
論理学で定式化されている論理にはさまざまなものがあるが、主として使われるのは命題論理と述語論理である。命題論理は真偽の決められる文章を単位として扱うものである。一方、述語論理は述語とその引数に分かれて記述される。たとえば「ソクラテスは人である」という命題は「ソクラテス」という引数と「人である」という述語に分かれ、
人(ソクラテス)
というように書かれる。引数の部分には変数が使えるので一般規則が書ける。
「すべての人は死ぬ」という命題は、
∀x 人(x)→死ぬ(x)
というように表す。∀は「すべての」を意味する論理記号である。これらから、
死ぬ(ソクラテス)
が推論できる。
この推論を計算とみなすプログラミング言語にProlog(プロログ)がある。
[中島秀之 2019年8月20日]
出典 ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について 情報
外国人や外国の思想・文物・生活様式などを嫌ってしりぞけようとする考え方や立場。[類語]排他的・閉鎖的・人種主義・レイシズム・自己中・排斥・不寛容・村八分・擯斥ひんせき・疎外・爪弾き・指弾・排撃・仲間外...
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新