出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
論理学で定式化されている論理にはさまざまなものがあるが、主として使われるのは命題論理と述語論理である。命題論理は真偽の決められる文章を単位として扱うものである。一方、述語論理は述語とその引数に分かれて記述される。たとえば「ソクラテスは人である」という命題は「ソクラテス」という引数と「人である」という述語に分かれ、
人(ソクラテス)
というように書かれる。引数の部分には変数が使えるので一般規則が書ける。
「すべての人は死ぬ」という命題は、
∀x 人(x)→死ぬ(x)
というように表す。∀は「すべての」を意味する論理記号である。これらから、
死ぬ(ソクラテス)
が推論できる。
この推論を計算とみなすプログラミング言語にProlog(プロログ)がある。
[中島秀之 2019年8月20日]
出典 ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について 情報
自動車税は自動車(軽自動車税の対象となる軽自動車等および固定資産税の対象となる大型特殊自動車を除く)の所有者に対し都道府県が課する税であり、軽自動車税は軽自動車等(原動機付自転車、軽自動車、小型特殊自...
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新