Sentença (lógica matemática)

 Nota: Para outros significados, veja sentença (desambiguação).

Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres. Uma sentença pode ser vista como expressão de uma proposição, algo que possa ser falso ou então verdadeiro. A restrição de não possuir variáveis livres é necessária para assegurar que sentenças possam ter valores verdade concretos e fixos: Como as variáveis livres de uma fórmula (geral) podem assumir diversos valores, o valor verdade de tal fórmula pode variar.

Sentenças sem quaisquer conectivos lógicos ou quantificadores são conhecidas como sentenças atômicas; por analogia a fórmula atômica. Sentenças são, então, construídas a partir de sentenças atômicas por meio da aplicação de conectivos e quantificadores.

Um conjunto de sentenças é chamado de teoria; assim, sentenças individuais podem ser chamadas teoremas. Para avaliar corretamente a verdade (ou falsidade) de uma sentença, é preciso fazer referência a uma interpretação da teoria. Para teorias de primeira-ordem, interpretações são comumente chamadas estruturas. Dada uma estrutura ou interpretação, uma sentença tem um valor verdade fixo. Uma teoria é satisfatível quando todas suas sentenças são verdade.

Exemplo

O exemplo a seguir está em lógica de primeira ordem.

é uma sentença. Essa sentença é verdadeira nos números reais positivos ℝ+, falsa nos números reais ℝ, e verdadeira nos números complexos ℂ. (Em português, essa sentença é interpretada para dizer que todo o número da estrutura é o quadrado de um membro daquela estrutura particular). Por outro lado, a fórmula:

não é uma sentença, por causa da presença da variável livre y. Na estrutura dos números reais, essa fórmula é verdadeira se substituirmos (arbitrariamente) y = 2, mas falsa se y = -2. (O que importa é a presença de uma variável livre, em vez do valor da variável da verdade, por exemplo, mesmo na estrutura dos números complexos, onde a declaração é sempre verdade, ainda não é considerado uma sentença). Em vez disso, em vez de fórmula pode ser referido como predicado.

Ver também

Referências

Ícone de esboço Este artigo sobre lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.

Read other articles:

Darren Soto

Darren Soto Darren Michael Soto (lahir 25 Februari 1978) adalah seorang jaksa dan politikus Partai Demokrat Amerika Serikat asal Orlando, Florida, yang menjadi anggota DPR. Sebelum terpilih dalam Kongres, Soto menjabat selama empat tahun dalam Senat Florida dan lima tahun dalam DPRD Florida. Pranala luar Wikimedia Commons memiliki media mengenai Darren Soto. Congressman Darren Soto official U.S. House website Campaign website Darren Soto di Curlie (dari DMOZ) Biografi di Biographical Director...

 

 

Léo Campion

Pour les articles homonymes, voir Campion. Léo CampionBiographieNaissance 24 mars 1905ParisDécès 6 mars 1992 (à 86 ans)ParisSépulture Cimetière parisien de Saint-OuenNom de naissance Léon Louis Octave CampionNationalités belgefrançaiseActivités Acteur, anarchiste, auteur comique, chansonnierAutres informationsMembre de Collège de 'PataphysiqueFranc-maçonnerieSignaturemodifier - modifier le code - modifier Wikidata Les Anarchistes dans la franc-maçonnerie ou les Maillons lib...

 

 

Armada Singapore Airlines

Boeing 777-300ER (9V-SWA), pesawat jenis -300ER pertama yang diantarkan pada tanggal 23 November 2006, menyelesaikan penerbangan pertamanya ke Bandar Udara Zürich. SIA adalah salah satu maskapai penerbangan terbesar di dunia yang mengoperasikan keluarga Boeing 777 family, dengan 66 pesawat dalam armadanya. Singapore Airlines mengoperasikan armada yang didominasi oleh pesawat berbadan lebar, hingga diperkenalkan kembali Boeing 737-800 pada Maret 2021 setelah melakukan penyatuan dengan SilkAir...

Enigmi alieni

Enigmi AlieniLogo della serieTitolo originaleAncient Aliens PaeseStati Uniti d'America Anno2010 - in corso Generedivulgazione pseudoscientifica Edizioni15 Puntate180 Durata44 min (88 min la prima stagione) Lingua originaleinglese RealizzazioneConduttoreRobert Clotworthy ProduttoreKevin Burns Rete televisivaHistory Rete televisiva(ed. italiana)History Modifica dati su Wikidata · Manuale Enigmi alieni (Ancient Aliens) è un programma televisivo statunitense di divulgazione pseud...

 

 

Celle

Untuk permainan tradisional, lihat Celle (permainan). Untuk kegunaan lain, lihat Celle (disambiguasi). CelleIstana Celle Lambang kebesaranLetak Celle di Celle NegaraJermanNegara bagianNiedersachsenKreisCelleSubdivisions17 distrikPemerintahan • MayorDirk-Ulrich Mende (SPD)Luas • Total176,01 km2 (6,796 sq mi)Ketinggian40 m (130 ft)Populasi (2013-12-31)[1] • Total68.508 • Kepadatan3,9/km2 (10/sq mi)Zona wa...

 

 

Thial

Chemical group (–CH=S) Chemical structure of a thial In organic chemistry, a thial or thioaldehyde is a functional group which is similar to an aldehyde, RC(O)H, in which a sulfur (S) atom replaces the oxygen (O) atom of the aldehyde (R represents an alkyl or aryl group). Thioaldehydes are even more reactive than thioketones. Unhindered thioaldehydes are generally too reactive to be isolated — for example, thioformaldehyde, H2C=S, condenses to the cyclic trimer 1,3,5-trithiane. Thioacrole...

Jakob Michael Reinhold Lenz

Questa voce o sezione sull'argomento scrittori tedeschi non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Jakob Michael Reinhold Lenz Jakob Michael Reinhold Lenz (Cēsvaine, 23 gennaio 1751 – Mosca, 4 giugno 1792) è stato uno scrittore tedesco, uno dei maggiori rappresentanti dello Sturm und Drang. Indice 1 Biografia 1.1 Principali opere 2 Fonti 3 Note ...

 

 

Россотрудничество

Федеральное агентство по делам Содружества Независимых Государств, соотечественников, проживающих за рубежом, и по международному гуманитарному сотрудничествусокращённо: Россотрудничество Общая информация Страна  Россия Юрисдикция Россия Дата создания 6 сентября...

 

 

中華民國國軍中的中共間諜列表

 本表是動態列表，或許永遠不會完結。歡迎您參考可靠來源來查漏補缺。 潛伏於中華民國國軍中的中共間諜列表收錄根據公開資料來源，曾潛伏於中華民國國軍、被中國共產黨聲稱或承認，或者遭中華民國政府調查審判，為中華人民共和國和中國人民解放軍進行間諜行為的人物。以下列表以現今可查知時間為準，正確的間諜活動或洩漏機密時間可能早於或晚於以下所歸�...

Lansdowne portrait

Painting by Gilbert Stuart Lansdowne portraitArtistGilbert StuartYear1796MediumOil on canvasDimensions247.6 cm × 158.7 cm (97.5 in × 62.5 in)LocationNational Portrait Gallery, Washington, D.C. The Lansdowne portrait is an iconic life-size portrait of George Washington painted by Gilbert Stuart in 1796. It depicts the 64-year-old president of the United States during his final year in office. The portrait was a gift to former British Prime Minister W...

 

 

Cichlocolaptes

Genus of birds Cichlocolaptes Pale-browed treehunter at São Luiz do Paraitinga, São Paulo State, Brazil Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Aves Order: Passeriformes Family: Furnariidae Genus: CichlocolaptesReichenbach, 1853 Type species Anabates ferruginolentus = Anabates leucophruszu Wied, 1831 Species See text Cichlocolaptes is a genus of passerine birds in the ovenbird family Furnariidae. They are found in Brazil. Taxonomy The genus Cich...

 

 

Code-division multiple access

Channel access method used by various radio communication technologies This article is about a channel access method. For the mobile phone technology referred to as CDMA, see cdmaOne and CDMA2000. Multiplexing Analog modulation AM FM PM QAM SM SSB Circuit mode(constant bandwidth) TDM FDM / WDM SDMA Polarization Spatial OAM Statistical multiplexing(variable bandwidth) Packet switching Dynamic TDMA FHSS DSSS OFDMA SC-FDM MC-SS Related topics Channel access methods Medium access control...

Ernesto Federico I de Sajonia-Hildburghausen

Ernesto Federico I de Sajonia-Hildburghausen Información personalNombre en alemán Ernst Friedrich I. von Sachsen-Hildburghausen Nacimiento 21 de agosto de 1681 Bad Arolsen (Alemania) Fallecimiento 26 de noviembre de 1740 (59 años)Hildburghausen (Alemania) Nacionalidad AlemanaReligión Luteranismo FamiliaFamilia Ducado de Sajonia-Hildburghausen Padres Ernesto de Sajonia-Hildburghausen Sofia Enriqueta de Waldeck Cónyuge Sofía Albertina de Erbach-Erbach (desde 1699) Hijos Ernesto Feder...

 

 

Glenolden, Pennsylvania

Borough in Pennsylvania, United States Borough in Pennsylvania, United StatesGlenolden, PennsylvaniaBoroughGazebo in Glenolden ParkLocation in Delaware County and the U.S. state of Pennsylvania.GlenoldenLocation of Glenolden in PennsylvaniaShow map of PennsylvaniaGlenoldenGlenolden (the United States)Show map of the United StatesCoordinates: 39°53′56″N 75°17′33″W / 39.89889°N 75.29250°W / 39.89889; -75.29250CountryUnited StatesStatePennsylvaniaCountyDelawar...

 

 

Aridity

Term for regions characterized by a severe lack of available water Arid redirects here. For an arid climate, see Desert climate. For the Belgian rock band, see Arid (band). This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (August 2018) (Learn how and when to remove this message) Arid regions of the Western United States as mapped in 1893 Aridity is the conditio...

Kylfings

People of Northern Europe during the Viking Age The Norslunda Runestone, bearing runic inscription U 419, which mentions the personal name Kylfingr The Kylfings (Old Norse Kylfingar; Estonian Kalevid; Hungarian Kölpények; Old East Slavic Колбяги, Kolbiagi; Byzantine Greek Κουλπίγγοι, Koulpingoi; Arabic al-Kilabiyya) were a people of uncertain origin active in Northern Europe during the Viking Age, roughly from the late ninth century to the early twelfth century. They could ...

 

 

High Efficiency Video Coding

Video compression format, succeeds H.264/MPEG-4 AVC HEVC / H.265 / MPEG-H Part 2High Efficiency Video CodingStatusIn forceYear started7 June 2013 (2013-06-07)First publishedJuly 7, 2013 (2013-07-07)Latest version9.0September 13, 2023 (2023-09-13)OrganizationITU-T, ISO, IECCommitteeSG16 (Secretary: Simao Campos) (VCEG), MPEGBase standardsH.261, H.262, H.263, ISO/IEC 14496-2, H.264Related standardsH.266, MPEG-5, MPEG-HDomainVideo compressionLicenseMP...

 

 

كريغ (كولورادو)

  لمعانٍ أخرى، طالع كريغ (توضيح). كريغ     الإحداثيات 40°31′01″N 107°33′00″W / 40.5169°N 107.55°W / 40.5169; -107.55   [1] تقسيم إداري  البلد الولايات المتحدة[2]  التقسيم الأعلى مقاطعة موفات  عاصمة لـ مقاطعة موفات  خصائص جغرافية  المساحة 13.300648 كيلومتر م�...

Biscotto

Disambiguazione – Se stai cercando altri significati, vedi Biscotto (disambigua). Un assortimento di biscotti. Un biscotto è un prodotto alimentare, più precisamente un dolce cotto al forno, di varie forme , dimensioni e bassa umidità che è tipicamente piccolo, duro e piatto, di solito a base di impasto, e un emulsionante.[1][2] La parola deriva dal latino «panis biscotus»[3], significante «pane cotto due volte», e le cui prime evidenze risalgono al X secolo...

 

 

São Tomé thrush

Species of bird São Tomé thrush São Tomé island Conservation status Least Concern  (IUCN 3.1)[1] Scientific classification Domain: Eukaryota Kingdom: Animalia Phylum: Chordata Class: Aves Order: Passeriformes Family: Turdidae Genus: Turdus Species: T. olivaceofuscus Binomial name Turdus olivaceofuscusHartlaub, 1852 range The São Tomé thrush or olivaceous thrush (Turdus olivaceofuscus) is a species of bird in the family Turdidae. It is endemic to São Tomé.[1] ...