Literal (lógica matemática)

En lógica matemática, un literal es una fórmula atómica o su negación. La definición del concepto se halla sobre todo en la teoría de la demostración.

Se pueden considerar dos tipos de variables:

Positivo: un átomo (entendiéndose por tal una fórmula atómica).
Negativo: la negación de un átomo.

Se dice que dos literales son opuestos o complementarios si uno de ellos es la negación del otro. Si un literal se expresa como $l$ , su opuesto o complementario se puede expresar como ${\bar {l}}$ , o bien como $l^{op}$

De manera más precisa, si $l\equiv x$ , entonces ${\bar {l}}$ es $\lnot x$ , y si $l\equiv \lnot x$ , entonces ${\bar {l}}$ es $x$ .

Literales puros opuesto

Con respecto a una fórmula expresada según la forma normal conjuntiva, se dice que un literal es puro si no aparece su complementario en esa fórmula.

Dicho de otra manera, en un conjunto de cláusulas $S$ , un literal es puro si en ese conjunto no hay cláusulas con la forma $D\vee l^{op}\vee E$ .

En un lenguaje menos formal, Un literal en una fórmula en CNF es puro si aparece o bien siempre negado o bien siempre sin negar. Además, se dice que una cláusula C es redundante si contiene al menos un paralelo puro.

Literales en lógica proposicional y en lógica de primer orden

En lógica proposicional

En la lógica proposicional, un literal es una variable proposicional. Dos literales $l_{1}$ y $l_{2}$ son complementarios si $l_{1}\equiv \lnot l_{2}$ .

En lógica de primer orden

En la lógica de primer orden o lógica de predicados, dos literales $l_{1}$ y $l_{2}$ son complementarios si $l_{1}$ y $\lnot l_{2}$ son unificables.

Un literal es una fórmula atómica o su negación, entendiéndose por fórmula atómica un símbolo de predicado aplicado a algunos términos, $P(t_{1},\,t_{n})$ , expresados mediante definición repercusiva (llamada también inductiva) a partir de símbolos de constante, símbolos de variable y símbolos de función. Por ejemplo, $\neg Q(f(g(x),y,2),x)$ es un literal negativo con los siguientes símbolos:

De constante: 2
De variables: $x$ , $y$
De funciones: $f$ , $g$
De predicado: $Q$

Véase también

Forma normal disyuntiva

Bibliografía

QUINE, W. v. O., 1950: Los métodos de la lógica (Methods of Logic).

CORI, René^{[1] (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última).} y LASCAR, Daniel: Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats (Lógica matemática. I: Cálculo preposicional, álgebras de Boole, cálculo de predicados). Col. Axiomes (Axiomas). Masson,^[2] 1993. ISBN 2-225-84079-2
- Sobre las ediciones de esa obra; en la Wikipedia en francés.

puch

Notas

Con el significado que se trata en el presente artículo, el término «literal» fue empleado por primera vez en este otro:

QUINE, W. v. O.: "A way to simplify truth functions" (Manera de simplificar las funciones de verdad), en The American Mathematical Monthly (Mensuario Matemático Estadounidense), vol. 62, 1955, pp. 627 - 631.

El uso del término se consolidó a partir de otro más:

DAVIS, M. y PUTNAM, H.: A computing procedure for quantification theory (Un procedimiento de computación para la teoría de la cuantificación), Journal of the ACM, vol. 7, 1960, pp. 201 - 215.

En una de sus ediciones, este artículo de la Wikipedia en español es resultado de la traducción parcial de los correspondientes de las Wikipedias en inglés, francés y portugués.

Referencias

BUSS, Samuel R.^[3] (ed.): An introduction to proof theory (Introducción a la teoría de la demostración), en Handbook of proof theory (Manual de teoría de la demostración), 1998, Elsevier, pp. 1-78. ISBN 0-444-89840-9
- Texto parcial en inglés.
- Texto parcial en inglés.

Datos: Q14235582

Read other articles:

Coachella Valley Music and Arts Festival

Coachella Valley Music and Arts Festival Coachella di 2018 Lokasi Empire Polo Club (Indio, California) Tahun diselenggarakan 1999, 2001–sekarang Pendiri Paul Tollett dan Rick Van Santen Tanggal Akhir pekan 3 hari berturut-turut di April (saat ini) Genre Rock, pop, indie, hip hop, musik dansa elektronik Situs web coachella.com Coachella Valley Music and Arts Festival adalah sebuah festival musik dan seni tahunan yang diadakan di Empire Polo Club di Indio, California, di Coachella Valley di ...

Renske Leijten

Renske Maria Leijten (lahir 17 Maret 1979 di Leiden) adalah seorang politikus Belanda. Sebagai anggota Partai Sosialis (SP), dia adalah anggota Dewan Perwakilan dari 30 November 2006 hingga 4 Juli 2023. Referensi R.M. (Renske) Leijten BA, Parlement.com lbs Anggota Tweede Kamer (2021–2023)31 Maret 2021 – 6 Desember 2023Partai Rakyat untuk Kebebasan dan Demokrasi (VVD – 34) Hermans Aartsen <Van Ark> Becker Bevers Bijenhof Brekelmans Van Campen Ellian Erkens Grevink P. de Groot <...

Elehuris Montero

Dominican baseball player (born 1998) Baseball player Elehuris MonteroMontero with the Albuquerque Isotopes in 2022Colorado Rockies – No. 44Third baseman / First basemanBorn: (1998-08-17) August 17, 1998 (age 25)Santo Domingo, Dominican RepublicBats: RightThrows: RightMLB debutMay 1, 2022, for the Colorado RockiesMLB statistics (through 2023 season)Batting average.239Home runs17Runs batted in59 Teams Colorado Rockies (2022–present) Elehuris Montero (born August 17, 199...

صادق خان

معالي الشريف صادق خان (بالإنجليزية: Sadiq Khan)‏ عمدة مدينة لندن تاريخ الانتخاب 5 مايو 2016 بوريس جونسون نائب دائرة توتينغ تولى المنصب5 مايو 2005(18 سنةً و11 شهرًا و17 يومًا) تاريخ الانتخاب 5 مايو 2005 إعادة الانتخاب 6 مايو 20107 مايو 2015 توم كوكس وزير النقل رئيس الوزراء غورد...

TP-003

Chemical compound TP-003Identifiers IUPAC name 5-fluoro-2-[4-fluoro-3-[8-fluoro-7-(2-hydroxypropan-2-yl)imidazo[1,2-a]pyridin-3-yl]phenyl]benzonitrile CAS Number628690-75-5 NPubChem CID9978724ChemSpider8154316 NChemical and physical dataFormulaC23H16F3N3OMolar mass407.396 g·mol−13D model (JSmol)Interactive image SMILES N#Cc4cc(F)ccc4-c1cc(ccc1F)-c2cnc3n2ccc(C(C)(O)C)c3F InChI InChI=1S/C23H16F3N3O/c1-23(2,30)18-7-8-29-20(12-28-22(29)21(18)26)17-10-13(3-6-19(17)25)16-5-4-15(24...

My Little Pony: Friendship is Magic (musim 1)

My Little Pony: Friendship is MagicMusim 1Sampul DVDNegara asal Amerika Serikat Kanada Jml. episode26RilisJaringan asliThe HubTanggal disiarkan10 Oktober 2010 (2010-10-10) –6 Mei 2011 (2011-5-6)Kronologi MusimBerikutnya →Musim 2Daftar episode Musim pertama dari serial televisi animasi My Little Pony: Friendship Is Magic, dikembangkan oleh Lauren Faust, awalnya ditayangkan di The Hub di Amerika Serikat. Serial ini didasarkan pada lini mainan dan karya animasi My Little ...

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

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

The Player (1992 film)

1992 film by Robert Altman The PlayerTheatrical release posterDirected byRobert AltmanScreenplay byMichael TolkinBased onThe Playerby Michael TolkinProduced byDavid BrownMichael TolkinNick WechslerStarring Tim Robbins Greta Scacchi Fred Ward Whoopi Goldberg Peter Gallagher Brion James Cynthia Stevenson CinematographyJean LépineEdited byGeraldine PeroniMusic byThomas NewmanProductioncompaniesAvenue PicturesSpelling EntertainmentDavid Brown ProductionsAddis-WechslerDistributed byFine Line Feat...

Capitol Butte

Capitol ButteWest aspectHighest pointElevation6,355 ft (1,937 m)[1][2]Prominence1,455 ft (443 m)[1]Parent peakWilson Mountain (7,122 ft)[1]Isolation3.36 mi (5.41 km)[1]Coordinates34°53′10″N 111°48′26″W / 34.8861582°N 111.8071347°W / 34.8861582; -111.8071347[3]GeographyCapitol ButteLocation in ArizonaShow map of ArizonaCapitol ButteCapitol Butte (the United States)Show map of ...

Albina, Suriname

AlbinaAlbina di tahun 2008Peta yang menunjukkan resor di Distrik Marowijne. AlbinaKoordinat: 5°30′N 54°03′W / 5.500°N 54.050°W / 5.500; -54.050Negara SurinameDistrikDistrik MarowijneResorAlbinaLuas • Total397 km2 (153 sq mi)Ketinggian5 m (16 ft)Populasi (2012)[1] • Total5.247 • Kepadatan0,013/km2 (0,034/sq mi) Albina adalah sebuah kota di timur Suriname, dan merupakan ibu ...

Административно-территориальное деление Украинской Народной Республики

Административно-территориальное деление УНР: 1. Подляшье 2. Волынь 3. Погорина 4. Дреговицкая земля 5. Деревлянская земля 6. Киев 7. Черниговщина 8. Северщина 9. Посеймье 10. Слобожанщина 11. Харьков 12. Донетчина 13. Подонье 14. Половецкая земля 15. Азовская земля 16. Запорожье 17. Новое З...

Королевская крачка

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

Arts festival

Festival that features the arts in a wide sense of the word This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Arts festival – news · newspapers · books · scholar · JSTOR (March 2013) (Learn how and when to remove this message) Edinburgh Fringe, Scotland, a notable arts festival An arts festival is a festival t...

اهل اعيش السكرات (سلام العرب)

اهل اعيش السكرات تقسيم إداري البلد المغرب الجهة مراكش آسفي الإقليم الرحامنة الدائرة الرحامنة الجماعة القروية آيت الطالب المشيخة سلام العرب السكان التعداد السكاني 71 نسمة (إحصاء 2004) • عدد الأسر 11 معلومات أخرى التوقيت ت ع م±00:00 (توقيت قياسي)[1]، وت ع م+01:00 (توقيت �...

Book of Vile Darkness

Dungeons & Dragons supplement Book of Vile Darkness Cover of Book of Vile Darkness for the 3rd edition of Dungeons & DragonsAuthor Monte Cook (3rd edition) Robert J. Schwalb (4th edition) GenreRole-playing gamePublisherWizards of the CoastPublication date October 1, 2002 (3rd edition) December 27, 2011 (4th edition) Media typePrint (Hardback)Pages192ISBN0-7869-2650-3OCLC51034940 Book of Vile Darkness is an optional supplemental sourcebook for the 3rd edition of the role-playing g...

Kampala Hill

Old Kampala redirects here. For the city of Kampala, see Kampala. Place in Central Uganda, UgandaKampala HillGaddafi National MosqueNickname: Old KampalaKampala HillMap of Kampala showing the location of Kampala Hill.Coordinates: 00°18′55″N 32°34′07″E / 0.31528°N 32.56861°E / 0.31528; 32.56861Country UgandaRegionCentral UgandaDistrictKampala Capital City AuthorityDivisionKampala Central DivisionElevation1,210 m (3,970 ft)Time zoneUTC+3 (...

Rigid airship

Airship in which the envelope is supported by a framework For broader coverage of this topic, see Airship. Construction of USS Shenandoah (ZR-1), 1923, showing the framework of a rigid airship A rigid airship is a type of airship (or dirigible) in which the envelope is supported by an internal framework rather than by being kept in shape by the pressure of the lifting gas within the envelope, as in blimps (also called pressure airships) and semi-rigid airships.[1][2] Rigid air...

Danemark aux Jeux olympiques d'été de 1996

Cet article est une ébauche concernant les Jeux olympiques et le Danemark. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Danemark aux Jeux olympiques d'été de 1996 Code CIO DEN Lieu Atlanta Participation 22e Athlètes 119 dans 14 sports Porte-drapeau Thomas Stuer-Lauridsen MédaillesRang : 19 Or4 Arg.1 Bron.1 Total6 Danemark aux Jeux olympiques d'été Danemark aux Jeux olympiques d'été de 1992 Danem...

Satoshi Yamaguchi (1978)

Satoshi Yamaguchi Informasi pribadiNama lengkap Satoshi YamaguchiTanggal lahir 17 April 1978 (umur 46)Tempat lahir Prefektur Kochi, JepangPosisi bermain BekInformasi klubKlub saat ini JEF United ChibaNomor 5Karier senior*Tahun Tim Tampil (Gol)1996-2000 JEF United Ichihara 2001-2011 Gamba Osaka 2012- JEF United Chiba Tim nasional2009 Jepang 2 (0) * Penampilan dan gol di klub senior hanya dihitung dari liga domestik Satoshi Yamaguchi (lahir 17 April 1978) adalah pemain sepak bola asal Jep...

Graphical user interface

User interface allowing interaction through graphical icons and visual indicators GUI redirects here. For other uses, see Gui (disambiguation). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Graphical user interface – news · newspapers · books · scholar · JSTOR (May 2022) (Learn how and when to remove this ...