他の論理との比較とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 他の論理との比較の意味・解説 

他の論理との比較

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 09:48 UTC 版)

一階述語論理」の記事における「他の論理との比較」の解説

型つき一階述語論理変項や項に型または種を導入したのである。型の個数有限であれば普通の一階述語論理大きな違いはなく、有限個の単項述語で型を記述しいくつかの公理追加すればよい。真理値として Ω という特殊な型を持つ場合があるが、その場合の論理式は Ω 型の項となる。 弱二階述語論理有限個の部分集合量化を許すものである。 単項二階述語論理部分集合、すなわち単項述語量化のみを許すものである二階述語論理部分集合および関係、すなわち全ての述語量化を許すものである高階述語論理述語引数とする述語など、さらに一般化したものの量化を許す。 直観主義一階述語論理古典命題計算ではなく直観主義導入するのである例えば、¬¬φ は必ずしも φ と等しいとは限らない様相論理様相演算子追加したのである。これは、直観的に説明すれば、「~は必然的である」および「~は可能である」を意味する演算子である。 無限論理無限に長い文を許す。例えば無限個の論理式連言選言許されたり、無限個の変項量化きたりする。 新たな量化子加えた一階述語論理は、例えば「……であるよう多くの x が存在する」といった意味の新たな量化子 Qx, ..., を持つ。 こうした論理多くは、一階述語論理何らかの拡張と言える。これらは、一階述語論理論理演算子量化子全て含んでいて、それらの意味も同じである。リンドストレムは、一階述語論理拡張には、レーヴェンハイム・スコーレムの下降定理コンパクト性定理両方満足するものが存在しないことを示した。この定理の内容精確述べるには、論理満たしてなければならない条件を数ページわたって列挙する必要がある例えば、言語記号変更しても各文の真偽基本的に変わらないようになってなければならない一階述語論理いくぶんエキゾチックな等価物には、次のものがある。順序対構成をもつ一階述語論理は、特別な関係として順序対射影を持つ関係代数(これはタルスキと Givant によって構築された)と精確等価である。

※この「他の論理との比較」の解説は、「一階述語論理」の解説の一部です。
「他の論理との比較」を含む「一階述語論理」の記事については、「一階述語論理」の概要を参照ください。

ウィキペディア小見出し辞書の「他の論理との比較」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「他の論理との比較」の関連用語

他の論理との比較のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



他の論理との比較のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの一階述語論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS