述語論理

曖昧さ回避 この項目では、数理論理学の「述語論理」について説明しています。西田幾多郎の哲学用語である「述語の論理」については「述語の論理」をご覧ください。

（じゅつごろんり、英: predicate logic）とは、数理論理学における記号的形式体系群を指す用語で、一階述語論理、二階述語論理、多ソート論理（英語版）、無限論理などが含まれる。これらの形式体系の特徴は、論理式に含まれる変数を量化できる点である。一般的な量化子として、 全称量化子 ∀ と存在量化子 ∃ とがある。変数は議論領域の要素、関係、関数などである。例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。述語論理の基礎は、ゴットロープ・フレーゲとチャールズ・サンダース・パースがそれぞれ独自に生み出し発展させた[1]。

述語論理と言った場合、一階述語論理を指すこともある。述語論理の公理化された形態を述語計算[注釈 1]と呼び、述語論理は非形式的でより直観的なものとする見方もある[2]。

様相作用素と量化子を併用する論理も述語論理の一種とされる。これについては様相論理を参照。

脚注

[脚注の使い方]

注釈

  1. ^ 英: predicate calculus

出典

  1. ^ Eric M. Hammer: Semantics for Existential Graphs, Journal of Philosophical Logic, Volume 27, Issue 5 (October 1998), page 489: "Development of first-order logic independently of Frege, anticipating prenex and Skolem normal forms"
  2. ^ 例えば、(Stolyar 1970, p. 166)。 (Hamilton 1978)では、どちらも calculus だとしているが、形式的なものと非形式的なものに分類している。

参考文献

  • Hamilton, A. G. (1978), Logic for Mathematicians, Cambridge UK: Cambridge University Press, ISBN 0-521-21838-1 
  • Stolyar, Abram Aronovic (1970), Introduction to Elementary Mathematical Logic, NY: Dover Publications, Inc., ISBN 978-0-486-64561-2 
  • George F Luger, Artificial Intelligence, Pearson Education, ISBN 978-81-317-2327-2
  • Hazewinkel, Michiel, ed. (2001), “Predicate calculus”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Predicate_calculus 

関連項目

 
関連項目
学術的領域
基本概念
 
基幹
名辞論理学（英語版）
命題論理とブール論理
述語論理
標準形
集合論
モデル理論
証明論
再帰理論
表現
カテゴリカテゴリ
一般
Traditional
logic（英語版）
述語論理
素朴集合論
集合論
モデル理論
証明論
計算理論
再帰理論

Read other articles:

Flo Rida

Untuk negara bagian Amerika Serikat, lihat Florida. Flo RidaInformasi latar belakangNama lahirTramar DillardLahir16 September 1979 (umur 44)AsalMiami, FloridaGenreCrunkPopRapTahun aktif2002-sekarangLabelPoe Boy EntertainmentAtlanticArtis terkaitT-PainRick RossBriscoDJ Khaled, TrinaLil WayneTrick DaddyTimbalandBirdmanPliesYung JocSitus webwww.officialflo.com Tramar Dillard (lahir 16 September 1979) atau lebih dikenal sebagai Flo Rida adalah rapper asal Amerika Serikat. Lahir di Opa-locka,...

 

 

Katedral Marsico Nuovo

Katedral Marsico NuovoKatedral Santa Maria Diangkat ke Surga dan Santo GeorgiusItalia: Concattedrale di S. Maria Assunta o S. Giorgiocode: it is deprecated Katedral Marsico NuovoLokasiMarsico NuovoNegaraItaliaDenominasiGereja Katolik RomaArsitekturStatusKatedralStatus fungsionalAktifAdministrasiKeuskupanKeuskupan Agung Potenza-Muro Lucano-Marsico Nuovo Katedral Marsico Nuovo (Italia: Concattedrale di Marsico Nuovo; Concattedrale di Santa Maria Assunta e San Giorgiocode: it is deprecated ) ada...

 

 

Direktorat Pembinaan Ketertiban Masyarakat Baharkam Polri

Direktorat Pembinaan Ketertiban Masyarakat Baharkam PolriSingkatanDitbintibmas Korbinmas Baharkam PolriStruktur yurisdiksiLembaga nasionalIndonesiaWilayah hukumIndonesiaLembaga pemerintah Kepolisian Negara Republik IndonesiaPejabat eksekutifBrigjen. Pol. Muhammad Rudy Syarifudin, S.I.K., S.H., DirbintibmasLembaga indukPolisi Republik Indonesia (Utama)Badan Pemelihara Keamanan Kepolisian Negara Republik Indonesia (Bagian)Korps Pembinaan Masyarakat Baharkam Polri (Satuan) Direktorat Pembinaan K...

Antonio María Rouco Varela

Spanish cardinal In this Spanish name, the first or paternal surname is Rouco and the second or maternal family name is Varela. His EminenceAntonio Rouco VarelaCardinal, Archbishop emeritus of MadridAntonio María Rouco VarelaArchdioceseMadridAppointed28 July 1994Term ended28 August 2014PredecessorAngel Suquía GoicoecheaSuccessorCarlos Osoro SierraOther post(s)Cardinal-Priest of San Lorenzo in DamasoPresident of the Spanish Episcopal ConferenceOrdersOrdination28 March 1959by Ang...

 

 

Naruto (musim 3)

NarutoMusim 3Berkas:3rdstagenaruto.jpgGambar sampul musim 3Negara asalJepangJumlah episode41RilisSaluran asliTV TokyoTanggal tayang15 September 2004 (2004-09-15) –29 Juni 2005 (2005-6-29)Kronologi Musim← SebelumnyaMusim 2 Selanjutnya →Musim 4 Daftar episode Naruto Musim ketiga serial anime Naruto, yang berjudul 3rd Stage di Jepang, disutradarai oleh Hayato Date dan diproduksi oleh Studio Pierrot dan TV Tokyo.[1] Berdasarkan pada manga Naruto karya Masash...

 

 

Inside Man

Inside ManPoster film Inside ManSutradaraSpike LeeProduserBrian GrazerDitulis olehRussell GewirtzPemeranDenzel WashingtonClive OwenJodie FosterWillem DafoeChristopher PlummerChiwetel EjioforPenata musikTerence BlanchardSinematograferMatthew LibatiquePenyuntingBarry Alexander BrownPerusahaanproduksiImagine EntertainmentDistributorUniversal PicturesTanggal rilis23 Maret 2006Durasi129 menitNegara Amerika SerikatBahasaInggrisAnggaran$45 jutaPendapatankotor$184.376.254IMDbInformasi di I...

Aquitani

Peta lokasi suku Aquitani Aquitani adalah suku yang tinggal di wilayah Aquitaine selatan dan Midi-Pyrénées barat daya, wilayah yang pada masanya disebut Gallia Aquitania oleh bangsa Romawi.[1] Penulis-penulis klasik seperti Julius Caesar dan Strabo membedakan mereka dari suku-suku lainnya di Galia dan telah menyadari kemiripan mereka dengan suku-suku lain di Semenanjung Iberia. Suku ini pada akhirnya mengalami proses Romanisasi dan secara bertahap mengadopsi bahasa Latin (Latin Vulg...

 

 

Charles Jencks

American architect Charles Alexander JencksBorn21 June 1939Died13 October 2019(2019-10-13) (aged 80)Occupation(s)American cultural theorist, historianSpouses Pamela Balding ​ ​(m. 1961; div. 1973)​ Maggie Keswick Jencks ​ ​(m. 1978; died 1995)​ Louisa Lane Fox ​(m. 2006)​ Children4 Charles Alexander Jencks (21 June 1939 – 13 October 2019)[1] was an Americ...

 

 

Udumbara (Buddhism)

For the Thai king, see Uthumphon. Ficus racemosa fruit In Buddhism, udumbara (Pali, Sanskrit; lit. 'auspicious flower from heaven') refers to the tree, flower and fruit of the Ficus racemosa (syn. Ficus glomerata).[1][2][3] In Buddhist literature, this tree or its fruit may carry the connotation of rarity and parasitism. It is also mentioned in Vedic texts as the source of wood for rituals and amulets. The uḍumbara is also used to refer to the flower of the blu...

Dewa Agung Istri Kanya

lbsIntervensi Belanda di Bali Bali Utara (1846) Bali Utara (1848) Bali (1849) Bali (1858) Lombok dan Karangasem (1894) Bali Selatan (1906) Bali Selatan (1908) lbsEkspedisi kolonial Belanda abad ke-17 Banten (1601) Melaka (1606) Tanjung Rachado (1606) Kepulauan Banda (1609–21) Makau (1622) Pescadores (1622–24) Bahia (1624) Teluk Persia (1625) Elmina (1625) Kuba (1628) Batavia (1628–29) Recife (1630) Albrolhos (1631) Teluk Liao luo (1633) Taiwan (1635–36) Pulau Lamey (1636) Elmina (1637...

 

 

Франц (герцог Саксен-Кобург-Заальфельдский)

Франц Саксен-Кобург-Заальфельдскийнем. Franz von Sachsen-Coburg-Saalfeld герцог Саксен-Кобург-Заальфельдский 8 сентября 1800 — 9 декабря 1806 Предшественник Эрнст Фридрих Саксен-Кобург-Заальфельдский Преемник Эрнст I Саксен-Кобург-Заальфельдский Рождение 15 июля 1750(1750-07-15)Кобург, Сакс...

 

 

Азиатский барсук

Азиатский барсук Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:СинапсидыКласс:Мле�...

Red Skelton

Red Skelton Red Skelton, nato Richard Bernard Skelton (Vincennes, 18 luglio 1913 – Rancho Mirage, 17 settembre 1997), è stato un attore statunitense di genere comico. Comedian completo, ha praticato il repertorio vaudeville e burlesque ed è ricordato per essere stato una delle maggiori star della televisione e della radio dal 1937 al 1971. Vinse nel 1978 il Golden Globe alla carriera ed è iscritto fra le celebrità della Hollywood Walk of Fame. Tra i riconoscimenti figura nel 1961 il Pre...

 

 

Flag of Montgomery County, Maryland

Flag of Montgomery County, Maryland, United States Montgomery CountyThe current flag of Maryland's Montgomery County.UseOther Proportion2:3AdoptedOctober 5, 1976[1]DesignA rectangle, three parts wide and two parts tall, quartered by a crenellated line, separating the top two quarters from the two bottom quarters, and a straight vertical line, separating the left two quarters from the two right quarters, with the upper left and lower right quarters consisting of a gold fleur-de-lis on ...

 

 

Hooded crow

Species of bird This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: Article contains several unsourced statements, and some prose issues. Please help improve this article if you can. (February 2022) (Learn how and when to remove this message) Hooded crow At the garden of Belvedere, Vienna Croaking of hooded crow in Kyiv Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Aves Order: Passeriformes Family: Corvidae G...

Medication package insert

Document included in a package of medicine A package insert from 1970, with Ovrette brand contraception pills A package insert is a document included in the package of a medication that provides information about that drug and its use. For prescription medications, the insert is technical, providing information for medical professionals about how to prescribe the drug. Package inserts for prescription drugs often include a separate document called a patient package insert with information wri...

 

 

Davit Kezerashvili

Davit Kezerashvili (bahasa Georgia : დავით კეზერაშვილი) (lahir 22 September 1978) adalah seorang investor Yahudi -Georgia, pengusaha, taipan media, dan mantan negarawan yang merupakan Menteri Pertahanan Georgia di bawah kepresidenan Mikheil Saakashvili.[1] Kezerashvili saat ini tinggal di Inggris dan dijatuhi hukuman penjara di Georgia karena korupsi.[2][3] Pada tahun 2023, BBC menerbitkan investigasi jurnalistik yang menghubungkan ...

 

 

Eduardo Lizalde

Mexican poet, academic, and administrator (1929–2022) Eduardo Lizalde Eduardo Lizalde Chávez (14 July 1929 – 25 May 2022)[1] was a Mexican poet, academic and administrator.[2] Lizalde was known as El Tigre for recurring themes in his work which stem from his childhood fondness for the stories of Salgari and Kipling. As he explains: The tiger has been a fascinating figure from Biblical times until now, and I don't believe there has ever been a writer who has never made a r...

Solidarity Trial

Parte de uma série sobre aPandemia de COVID-19Scientifically accurate atomic model of the external structure of SARS-CoV-2. Each ball is an atom. SARS-CoV-2 (vírus)COVID-19 (doença) Cronologia2019 Pré-Dezembro Dezembro 2020 Janeiro Fevereiro Março Abril Maio Junho Julho Agosto Setembro Outubro Novembro Dezembro 2021 Janeiro Fevereiro Março Abril Maio Junho Julho Agosto Setembro Outubro Novembro Dezembro 2022 Janeiro Fevereiro Março Abril Maio Junho Julho Agosto Setembro Outubro Novembr...

 

 

アンヘル・ディ・マリア

この名前は、スペイン語圏の人名慣習に従っています。第一姓（父方の姓）はディ・マリア、第二姓（母方の姓）はエルナンデスです。 アンヘル・ディ・マリア アルゼンチン代表でのディ・マリア (2018年)名前本名 アンヘル・ファビアン・ディ・マリア・エルナンデスÁngel Fabián Di María Hernández愛称 アンヘリート、エル・フィデオラテン文字 Ángel Di María基本情報国籍 ...