Теория (логика)

В логике теория — это множество формул некоторого языка.

Как правило, интерес представляют лишь теории, содержащие некоторый минимальный набор формул (аксиом) и замкнутые относительно некоторых правил вывода, специфических для языка.

Термин теория чаще всего употребляется в контексте логики первого порядка, хотя он используется также и для неклассических логик. В контексте модальной логики для аналогичного понятия используются термины модальная логика и нормальная модальная логика (см. статью модальная логика).

Теории логики первого порядка состоят из замкнутых формул.

С точки зрения теории моделей, теория объект чисто семантический, это некий инвариант модели или класс моделей. С другой стороны, аксиоматизация является компактным представленим теории с помощью различных синтаксических механизмов, таких как аксиомы и правила вывода.

Формулы, принадлежащие теории, называются её теоремами.

Полнота

Теория называется непротиворечивой, если она не совпадает со множеством всех формул.

Теория называется полной, если для любой формулы либо , либо .

Каждая модель первого порядка данной сигнатуры естественным образом порождает полную теорию:

(где означает язык первого порядка для сигнатуры ).

Разрешимость

Теория называется разрешимой, если задача определения принадлежности данной формулы к этой теории является алгоритмичечски разрешимой.

Эквивалентное определение: теория называется разрешимой, если множество Гёделевых номеров формул теории является рекурсивным.

См. также

Read other articles:

Daftar kardinal yang diangkat oleh Inosensius III

Paus Inosensius III. Paus Inosensius III (menjabat 1198-1216) melantik 41 kardinal dalam sepuluh konsistori yang ia adakan sepanjang masa kepausannya. Ini meliputi seorang penerusnya yang ia angkat pada akhir 1198.[1] Desember 1198 Ugolino dei Conti di Segni[a] Gérard O. Cist. Desember 1200 Giovanni Conti di Segni Gregorio Benedetto Leone Brancaleone Can. Reg. Matteo Giovanni dei Conti di Segni Desember 1202 Roger Gualterio Raoul de Neuville 1205 Pietro Sasso Nicola de Romani...

 

Kim Jong-soo (pemeran)

Dalam nama Korean ini, nama keluarganya adalah Kim. Kim Jong-sooLahir30 November 1964 (umur 59)Busan, Korea SelatanAlmamaterUniversitas Ulsan (Jurusan Kimia)PekerjaanPemeranTahun aktif1985–sekarangAgenArtist CompanyNama KoreaHangul김종수 Hanja金種水 Alih AksaraGim Jong SuMcCune–ReischauerKim Chong Su Kim Jong-Soo (Hangul: 김종수; Hanja: 金種水; lahir 30 November 1964) adalah pemeran Korea Selatan.[1] Ia paling dikenal untuk perannya seba...

 

New Mexico State University

Public university in Las Cruces, New Mexico, US NMSU redirects here. For the university in Missouri, see Northwest Missouri State University. New Mexico State redirects here. For the U.S. state, see New Mexico. New Mexico State UniversityFormer namesLas Cruces College (1888–1889)New Mexico College of Agriculture and Mechanic Arts (1889–1960)TypePublic land-grant research universityEstablishedSeptember 17, 1888; 135 years ago (1888-09-17)AccreditationHLCAcademic affiliati...

Mesozoic

Second era of the Phanerozoic Eon: ~252–66 million years ago Mesozoic Era251.902 ± 0.024 – 66.0 Ma Pha. Proterozoic Archean Had. Chronology−260 —–−240 —–−220 —–−200 —–−180 —–−160 —–−140 —–−120 —–−100 —–−80 —–−60 — P h a n e r o z o i cPaleozoicM...

 

وحيد حامد

وحيد حامد معلومات شخصية الميلاد 1 يوليو 1944   محافظة الشرقية  الوفاة 2 يناير 2021 (76 سنة)   القاهرة[1]  سبب الوفاة نوبة قلبية  مواطنة مصر (1944–1952) مصر (1953–1958) مصر (1958–1961) مصر (1961–2021)  الزوجة زينب سويدان الأولاد مروان حامد  الحياة العملية المدرسة الأم جامعة القا...

 

Manuel Gómez Pedraza

Pour les articles homonymes, voir Gómez et Pedraza. Manuel Gómez Pedraza Manuel Gómez Pedraza, président du Mexique. Fonctions 5e président de la République fédérale du Mexique 26 décembre 1832 – 1er avril 1833 (3 mois et 6 jours) Élection 3 décembre 1828 Prédécesseur Melchor Múzquiz Successeur Antonio López de Santa Anna Président de la République fédérale du Mexique (président élu) 3 décembre 1828 – 1er avril 1829 (3 mois et 29 jours) Élection...

Élections législatives de 1986 dans l'Orne

1981 1988 Élections législatives de 1986 dans l'Orne 3 sièges de députés à l'Assemblée nationale 16 mars 1986 Corps électoral et résultats Population 295 472 Inscrits 209 525 Votants 166 829   79,62 %  6,9 Votes exprimés 157 048 Droite parlementaire – Daniel Goulet Liste Rassemblement pour la RépubliqueUnion pour la démocratie française Voix 75 755 48,24 %   8,2 Députés élus 2 Divers gaucheParti socialiste...

 

Diocese of The Bahamas and the Turks and Caicos Islands

Christ Church Cathedral, Nassau, Bahamas The Anglican Diocese of the Bahamas and the Turks and Caicos Islands was originally established in 1861 as the Diocese of Nassau. Retitled the Diocese of Nassau and The Bahamas in 1942, it is now known as the Diocese of The Bahamas and the Turks and Caicos Islands. It is a diocese of the Church in the Province of the West Indies, a constituent province of the Anglican Communion. History When the Bahamas was granted to the Lords Proprietors of Carolina ...

 

Valentin Haüy

Founder of the first school for the blind For other people with the same name, see Haüy (disambiguation). Valentin HaüyValentin HaüyBorn13 November 1745Saint-Just-en-Chaussée, Oise, FranceDied19 March 1822(1822-03-19) (aged 76)Paris, FranceNationalityFrenchKnown forfirst school for the blindRelativesRené Just Haüy Valentin Haüy (pronounced [aɥi]; 13 November 1745 – 19 March 1822) was the founder, in 1785,[1][2] of the first school for the blind, the...

Yasmin (seri televisi)

YasminGenre Drama Roman PembuatSinemArtDitulis olehAndra P DanielSkenarioAdra P DanielSutradaraNoto BagaskoroPemeran Nabila Syakieb Richard Kevin Oka Antara Rama Michael Raya Kohandi Indra Widyawati Iszur Muchtar Tetty Liz Indriati Tika Putri Penggubah lagu temaD'MasivLagu pembukaDiantara Kalian oleh d'MasivLagu penutupDiantara Kalian oleh d'MasivNegara asalIndonesiaBahasa asliBahasa IndonesiaJmlh. musim1Jmlh. episode83ProduksiProduser eksekutifElly Yanti NoorProduserLeo SutantoPengaturan ka...

 

Syracuse Grand Prix

Non-Championship Motor Race Held In Sicily, ItalySyracuse Grand PrixSyracuse AutodromeRace informationNumber of times held16First held1951Last held1967Most wins (drivers)John Surtees (2 wins)Most wins (constructors)Ferrari (9 wins)Circuit length5.598 km (3.478 miles) The Syracuse Grand Prix was a motor race held at Syracuse Circuit in Sicily, Italy. For most of its existence, it formed part of the Formula One non-Championship calendar, usually being held near the beginning of the se...

 

Rieti (lalawigan)

Mapa kun ngain nahimutang an Probinsya han Rieti An Lalawigan han Rieti amo an usa ka probinsya ha rehiyon han Lazio han Italya. An kapital hini amo an Rieti. khlLazio · Mga comune han RietiAccumoli · Amatrice · Antrodoco · Ascrea · Belmonte in Sabina · Borbona · Borgo Velino · Borgorose · Cantalice · Cantalupo in Sabina · Casaprota · Casperia · Castel Sant'Angelo · Castel di Tora · Castelnuovo di Farfa · Cittaducale · Cittareale · Collalto Sabino · Colle di Tora · Col...

Pelanduk kancil

Untuk nama umum, lihat Pelanduk. Pelanduk kancil Tragulus kanchil Pelanduk kancil di Kebun Binatang Hellabrunn, Jerman.Status konservasiRisiko rendahIUCN136297 TaksonomiKerajaanAnimaliaFilumChordataKelasMammaliaOrdoArtiodactylaFamiliTragulidaeGenusTragulusSpesiesTragulus kanchil (Raffles, 1821) Tata namaSinonim takson Moschus kanchil Raffles, 1821[1] Tragulus kanchil Kloss, 1916 ProtonimMoschus kanchil lbs Pelanduk kancil[3] (Tragulus kanchil), juga dikenal sebagai kancil atau...

 

Hue

Property of a color This article is about the color property. For the city in Vietnam, see Huế. For other uses, see Hue (disambiguation). All colors on this color wheel should appear to have the same lightness and the same saturation, differing only by hue. Look up hue in Wiktionary, the free dictionary. In color theory, hue is one of the main properties (called color appearance parameters) of a color, defined technically in the CIECAM02 model as the degree to which a stimulus can be descri...

 

List of equipment of the Armed Forces of the Democratic Republic of Afghanistan

This is a list of equipment used by the Armed Forces of the Democratic Republic of Afghanistan. Infantry weapons Name Image Origin Type Information Assault rifle and battle rifle AK-74[1]  Soviet Union Assault rifle AK-47[2][3]  Soviet Union Assault rifle AKM[4]  Soviet Union Assault rifle AKMS[3]  Soviet Union Assault rifle SKS[2]  Soviet Union Semi-automatic rifle Mosin-Nagant  Soviet Union Bolt-action rifle Firs...

Mezzanine

Architectural element This article is about an architectural element. For other uses, see Mezzanine (disambiguation). The mezzanine of the Maastricht Centre Céramique View of the mezzanine in the lobby of the former Capitol Cinema, Ottawa, Ontario, Canada A structural steel mezzanine used for industrial storage The mezzanine of Basarrate station in Bilbao metro A mezzanine (/ˌmɛzəˈniːn/; or in Italian, a mezzanino)[1] is an intermediate floor in a building which is partly open t...

 

نيو هامبتون (نيوهامشير)

  لمعانٍ أخرى، طالع نيو هامبتون (توضيح). نيو هامبتون     الإحداثيات 43°36′19″N 71°39′10″W / 43.605277777778°N 71.652777777778°W / 43.605277777778; -71.652777777778   [1] تاريخ التأسيس 1777  تقسيم إداري  البلد الولايات المتحدة[2]  التقسيم الأعلى مقاطعة بلكناب  خصائص جغرافي...

 

1916 South American Championship

Football tournament 1916 South American ChampionshipBrazilian poster advertising the championshipTournament detailsHost countryArgentinaDates2–17 JulyTeams4 (from 1 confederation)Venue(s)2 (in 2 host cities)Final positionsChampions Uruguay (1st title)Runners-up ArgentinaThird place BrazilFourth place ChileTournament statisticsMatches played6Goals scored18 (3 per match)Top scorer(s) Isabelino Gradín (3 goals)1917 → International football competi...

Politique en Croatie

La politique en Croatie s'inscrit dans un modèle d'État d'une république démocratique parlementaire depuis 1991, année où la Croatie obtient son indépendance de la Yougoslavie. Le Premier ministre de la République de Croatie est à la tête du gouvernement. Le pouvoir exécutif est attribué au gouvernement et le pouvoir législatif à la Diète. Le pouvoir judiciaire est indépendant des pouvoirs exécutif et législatif. De la Seconde Guerre mondiale à aujourd’hui La Croatie éta...

 

4月13日

2024年 4月（卯月） 日 月 火 水 木 金 土 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 日付の一覧 各月 1 2 3 4 5 6 7 8 9 10 11 12 4月13日（しがつじゅうさんにち）は、グレゴリオ暦で年始から103日目（閏年では104日目）にあたり、年末まではあと262日ある。 できごと フランスでナントの勅令発布(1598)。プロテスタントに信教の自由を認める インドで、イギリス...