First-order predicate logicとは - わかりやすく解説 Weblio辞書

一階述語論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/05/15 09:03 UTC 版)

一階述語論理（英: first-order predicate logic）とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理（英: second-order predicate logic）と呼び、さらなる一般化を加えた述語論理を高階述語論理（英: higher-order predicate logic）という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細はそれぞれの記事を参照。

脚注

^ 「アリティ」という用語は通常、関係や関数がとる変数の個数を表す言葉として用いられるが、ここでの意味はそれとは異なることに注意しなければならない。述語記号や関数記号は単なる記号であって関係や関数ではなく、アリティというのはそれらの記号が持っているある正の整数という意味にすぎない。
^ 読みやすさを優先させて $ft_{1},\,\cdots ,\,t_{n}$ の代わりに $f(t_{1},\,\cdots ,\,t_{n})$ を用いる流儀も存在する。その場合は言語にカンマ "," を含めておく必要がある。

[続きの解説]

「一階述語論理」の続きの解説一覧

Weblio日本語例文用例辞書

索引トップ用語の索引ランキング

「first-order predicate logic」の例文・使い方・用例・文例

【学術名】 logic, music, rhetoric.

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

>> 「First-order predicate logic」を含む用語の索引
First-order predicate logicのページへのリンク


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの一階述語論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
TANAKA Corpus	Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ	この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
	Copyright © 1995-2024 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved.
	日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. 「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
	This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

First-order predicate logicとは？わかりやすく解説

一階述語論理

「first-order predicate logic」の例文・使い方・用例・文例

「First-order predicate logic」の関連用語

First-order predicate logicとは？ わかりやすく解説

一階述語論理

「first-order predicate logic」の例文・使い方・用例・文例

「First-order predicate logic」の関連用語

First-order predicate logicとは？わかりやすく解説