Lgica proposicional

La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representanoperaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad. 1 La lgica proposicional trata con sistemas lgicos que carecen de cuantificadores, o variables interpretables como entidades. En lgica proposicional si bien no hay signos para variables de tipo entidad, s e isten signos para variables proposicionales !es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido", de ah el nombre proposicional. La lgica proposicional incluye adems de variables interpretables como proposiciones simples signos para conectivas lgicas, por lo que dentro de este tipo de lgica puede anali#arse la inferencia lgicade proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.$

Introduccin[editar] Considrese el siguiente argumento: 1. 2. 3. Maana es mircoles o maana es jueves. Maana no es jueves. Por lo tanto maana es mircoles.

!s un argumento v"lido. #uiere decir $ue es im%osi&le $ue las %remisas sean verdaderas ' la conclusin (alsa. !sto no $uiere decir $ue la conclusin sea verdadera. )i las %remisas son (alsas entonces la conclusin tam&in %odr*a serlo. Pero si las %remisas son verdaderas entonces la conclusin tam&in lo es. +a valide, de este argumento no se de&e al signi(icado de las e-%resiones .maana es mircoles/ ' .maana es jueves/ %or$ue stas %odr*an cam&iarse %or otras ' el argumento %ermanecer v"lido. Por ejem%lo: 1. 2. 3. !st" soleado o est" nu&lado. 0o est" nu&lado. Por lo tanto est" soleado.

!n cam&io la valide, de estos dos argumentos de%ende del signi(icado de las e-%resiones .o/ ' .no/. )i alguna de estas e-%resiones se cam&iara %or otra entonces %odr*a ser $ue los argumentos dejaran de ser v"lidos. Por ejem%lo: 1. 2. 3. 0i est" soleado ni est" nu&lado. 0o est" nu&lado. Por lo tanto est" soleado.

+as e-%resiones de las $ue de%ende la valide, de los argumentos se llaman constantes lgicas. +a lgica %ro%osicional estudia el com%ortamiento de algunas de estas e-%resiones llamadasconectivas lgicas. !n cuanto a las e-%resiones como 1est" nu&lado1 o 1maana es jueves1 lo 2nico $ue im%orta de ellas es $ue tengan un valor de verdad. !s %or esto $ue se las

reem%la,a %or sim%les letras cu'a intencin es sim&oli,ar una e-%resin con valor de verdad cual$uiera. 3 estas letras se las llama variables proposicionales ' en general se toman del al(a&eto latino em%e,ando %or la letra p luego q r s etc. 3s* los dos %rimeros argumentos de esta seccin %odr*an reescri&irse as*: 1. 2. 3. poq 0o q Por lo tanto p

4 el tercer argumento a %esar de no ser v"lido %uede reescri&irse as*: 1. 2. 3. 0i p ni q 0o q Por lo tanto p

Conectivas lgicas[editar] Artculo principal: Conectiva lgica 3 continuacin 5a' una ta&la $ue des%liega todas las conectivas lgicas $ue ocu%an a la lgica %ro%osicional inclu'endo ejem%los de su uso en el lenguaje natural ' los s*m&olos $ue se utili,an %ara re%resentarlas en lenguaje (ormal. Expresin en el Ejemplo lenguaje natural no ' o si... entonces No est" lloviendo. !st" lloviendo y est" nu&lado. !st" lloviendo o est" soleado. Si est" soleado entonces es de d*a. !st" nu&lado si y slo si 5a' nu&es visi&les. Ni est" soleado ni est" nu&lado. O bien est" soleado o bien est" nu&lado. Smbolo en este artculo

Conectiva

Smbolos alternativos

0egacin Conjuncin 6is'uncin Condicional material

7icondicional 0egacin conjunta 6is'uncin e-clu'ente

si ' slo si ni... ni o &ien... o &ien

!n la lgica %ro%osicional las conectivas lgicas se tratan como (unciones de verdad. !s decir como (unciones $ue toman conjuntos de valores de verdad ' devuelven valores de verdad. Por ejem%lo la conectiva lgica .no/ es una (uncin $ue si toma el valor de verdad 8 devuelve 9 ' si toma el valor de verdad 9 devuelve 8. Por lo tanto si se a%lica la (uncin .no/ a una letra $ue

re%resente una %ro%osicin (alsa el resultado ser" algo verdadero. )i es (also $ue .est" lloviendo/ entonces ser" verdadero $ue .no est" lloviendo/. !l signi(icado de las conectivas lgicas no es nada m"s $ue su com%ortamiento como (unciones de verdad. Cada conectiva lgica se distingue de las otras %or los valores de verdad $ue devuelve (rente a las distintas com&inaciones de valores de verdad $ue %uede reci&ir. !sto $uiere decir $ue el signi(icado de cada conectiva lgica %uede ilustrarse mediante una ta&la $ue des%liegue los valores de verdad $ue la (uncin devuelve (rente a todas las com&inaciones %osi&les de valores de verdad $ue %uede reci&ir. Negacin Conjuncin Disyuncin Condicional Bicondicional

Leyes notables en lgica[editar] !ntre las reglas de la lgica %ro%osiconal cl"sica algunas de la m"s nota&les son listadas a continuacin: 1. 2. 3. :. ;. <. +e' de do&le negacin +e'es de idem%otencia +e'es asociativas +e'es conmutativas +e'es distri&utivas +e'es de 6e Morgan =tras le'es como el %rinci%io del tercero e-cluido son admisi&les en lgica cl"sica %ero en lgica intuicionista ' con (ines a sus a%licaciones matem"ticas no e-iste un e$uivalente del tercero e-cluido %or ejem%lo. Lmites de la lgica proposicional[editar] +a ma$uinaria de la lgica %ro%osicional %ermite (ormali,ar ' teori,ar so&re la valide, de una gran cantidad de argumentos. )in em&argo tam&in e-isten argumentos $ue son intuitivamente v"lidos %ero cu'a valide, no %uede ser %ro&ada %or la lgica %ro%osicional. Por ejem%lo considrese el siguiente argumento: 1. 2. 3. >odos los 5om&res son mortales. )crates es un 5om&re. Por lo tanto )crates es mortal. Como este argumento no contiene ninguna de las conectivas .no/ .'/ .o/ etc. seg2n la lgica %ro%osicional su (ormali,acin ser" la siguiente:

1. 2. 3.

p q Por lo tanto r Pero esta es una (orma de argumento inv"lida ' eso contradice nuestra intuicin de $ue el argumento es v"lido. Para teori,ar so&re la valide, de este ti%o de argumentos se necesita investigar la estructura interna de las varia&les %ro%osicionales. 6e esto se ocu%a la lgica de %rimer orden. =tros sistemas (ormales %ermiten teori,ar so&re otros ti%os de argumentos. Por ejem%lo lalgica de segundo orden la lgica modal ' la lgica tem%oral. 6os sistemas (ormales de lgica %ro%osicional[editar] 3 continuacin se %resentan dos sistemas (ormales est"ndar %ara la lgica %ro%osicional. !l %rimero es un sistema a-iom"tico sim%le ' el segundo es un sistema sin a-iomas de deduccin natural. Sistema axiom tico[editar] !l"abeto[editar] !l al(a&eto de un sistema (ormal es el conjunto de s*m&olos $ue %ertenecen al lenguaje del sistema. )i + es el nom&re de este sistema a-iom"tico de lgica %ro%osicional entonces el al(a&eto de + consiste en:

?na cantidad (inita %ero ar&itrariamente grande de varia&les %ro%osicionales. !n general se las toma del al(a&eto latino em%e,ando %or la letra p luego q r etc. ' utili,ando su&*ndices cuando es necesario o conveniente. +as varia&les %ro%osicionales re%resentan %ro%osiciones como 1est" lloviendo1 o 1los metales se e-%anden con el calor1. ?n conjunto de o%eradores lgicos: 6os signos de %untuacin: los %arntesis i,$uierdo ' derec5o. )u 2nica (uncin es desam&iguar ciertas e-%resiones am&iguas en e-actamente el mismo sentido en $ue desam&iguan la e-%resin 2 @ 2 A 2 $ue %uede signi(icar tanto B2 @ 2C A 2 como 2 @ B2 A 2C. #ram tica[editar] ?na ve, de(inido el al(a&eto el siguiente %aso es determinar $u com&inaciones de s*m&olos %ertenecen al lenguaje del sistema. !sto se logra mediante una gram"tica (ormal. +a misma consiste en un conjunto de reglas $ue de(inen recursivamente las cadenas de caracteres $ue %ertenecen al lenguaje. 3 las cadenas de caracteres construidas seg2n estas reglas se las llama (rmulas &ien (ormadas. +as reglas del sistema + son:

1. 2. 3. '

+as varia&les %ro%osicionales del al(a&eto de + son (rmulas &ien (ormadas. )i )i es una (rmula &ien (ormada de + entonces ' son (rmulas &ien (ormadas de + entonces tam&in lo son. tam&in lo es.

:.

)lo las e-%resiones $ue %ueden ser generadas mediante las cl"usulas 1 a 3 en un n2mero (inito de %asos son (rmulas &ien (ormadas de +. )eg2n estas reglas las siguientes cadenas de caracteres son ejem%los de (rmulas &ien (ormadas:

4 los siguientes son ejem%os de (rmulas mal (ormadas[cita requerida]: $rmula Error )o&ran %arntesis )o&ran %arntesis )o&ran %arntesis 9altan %arntesis 9altan %arntesis Por otra %arte dado $ue la 2nica (uncin de los %arntesis es desam&iguar las (rmulas en general se acostum&ra omitir los %arntesis externos de cada (rmula 'a $ue estos no cum%len ninguna (uncin. 3s* %or ejem%lo las siguientes (rmulas generalmente se consideran &ien (ormadas: Correccin

=tra convencin acerca del uso de los %arntesis es $ue las conjunciones ' las dis'unciones tienen .menor jerar$u*a/ $ue los condicionales materiales ' los &icondicionales. !sto signi(ica $ue

dada una (rmula sin %arntesis las conjunciones ' las dis'unciones de&en agru%arse antes $ue los condicionales materiales ' los &icondicionales. Por ejem%lo: $rmula Lectura correcta Lectura incorrecta

!stas convenciones son an"logas a las $ue e-isten en el "lge&ra elemental donde la multi%licacin ' la divisin siem%re de&en resolverse antes $ue la suma ' la resta. 3s* %or ejem%lo la ecuacin 2 @ 2 D 2 %odr*a inter%retarse como B2 @ 2C D 2 o como 2 @ B2 D 2C. !n el %rimer caso el resultado ser*a E ' en el segundo caso ser*a <. Pero como la multi%licacin siem%re de&e resolverse antes $ue la suma el resultado correcto en este caso es < no E. !xiomas[editar] +os a-iomas de un sistema (ormal son un conjunto de (rmulas &ien (ormadas $ue se toman como %unto de %artida %ara demostraciones ulteriores. ?n conjunto de a-iomas est"ndar es el $ue descu&ri Fan GuHasieIic,:

%eglas de in"erencia[editar] ?na regla de in(erencia es una (uncin $ue va de conjuntos de (rmulas a (rmulas. 3l conjunto de (rmulas $ue la (uncin toma como argumento se lo llama premisas mientras $ue a la (rmula $ue devuelve como valor se la llama conclusin. !n general se &usca $ue las reglas de in(erencia transmitan la verdad de las %remisas a la conclusin. !s decir $ue sea im%osi&le $ue las %remisas sean verdaderas ' la conclusin (alsa. !n el caso de + la 2nica regla de in(erencia es el modus %onens el cual dice:

Jecordando $ue ' no son (rmulas sino metavaria&les $ue %ueden ser reem%la,adas %or cual$uier (rmula &ien (ormada. Ejemplo de una demostracin[editar] ! demostrar& 'aso $rmula %a(n

Instancia del %rimer a-ioma. Instancia del %rimer a-ioma. Instancia del segundo a-ioma. 6esde B2C ' B3C %or modus %onens. 6esde B1C ' B:C %or modus %onens. #! 6

Deduccin natural[editar] Artculo principal: 6educcin natural ?n sistema de lgica %ro%osicional tam&in %uede construirse a %artir de un conjunto vac*o de a-iomas. Para ello se es%eci(ican una serie de reglas de in(erencia $ue intentan ca%turar el modo en $ue naturalmente ra,onamos acerca de las conectivas lgicas.

)ntroduccin de la negacin: )i su%oner lleva a una contradiccin entonces se %uede in(erir $ue Eliminacin de la negacin: Breduccin al a&surdoC.

)ntroduccin de la conjuncin:

Eliminacin de la conjuncin:

)ntroduccin de la disyuncin:

Eliminacin de la disyuncin:

)ntroduccin del condicional Bvase el teorema de la deduccinC: )i su%oner lleva a una %rue&a de entonces se %uede in(erir $ue .

Eliminacin del condicional Bmodus %onensC:

)ntroduccin del bicondicional:

Eliminacin del bicondicional:

9ormas de argumentos &"sicas ' derivadas[editar] $ormas de !rgumentos B sicas y Derivadas Nombre Modus Ponens Consecuente Descripcin )i entonces K K %or lo tanto )i entonces K no K %or lo tanto no )i entonces K si entonces K %or lo tanto si entonces !it5er o o &ot5K no K %or lo tanto )i entonces K ' si entonces K %ero o K %or lo tanto o

Modus >ollens

)ilogismo Li%ottico )ilogismo 6is'untivo 6ilema Constructivo

6ilema 6estructivo

)i entonces K ' si entonces K %ero no o no K %or lo tanto no o no )i entonces K ' si entonces K &ut o no K %or lo tanto o no ' son verdaderosK %or lo tanto es verdadero ' son verdaderos se%aradamenteK entonces son verdaderos conjuntamente. es verdaderoK %or lo tanto t5e disjunction B o C es verdadero )i entonces K ' si entonces K %or lo tanto si es verdadero entonces ' son verdaderos +a negacin de B ' C es e$uiv. a Bno o no C +a negacin de B o C es e$uiv. a Bno ' no C B o C es e$uiv. a B o C B ' C es e$uiv. a B ' C B es e$uiv. a C es e$uiv. a B es e$uiv. a C o B o C es e$uiv. a B o Co ' B ' C es e$uiv. a B ' C' ' B o C es e$uiv. a B ' CoB ' C

6ilema 7idireccional

)im%li(icacin

Conjuncin

3dicin

Com%osicin

>eorema de 6e Morgan B1C >eorema de 6e Morgan B2C Conmutacin B1C Conmutacin B2C Conmutacin B3C

3sociacin B1C

3sociacin B2C

6istri&ucin B1C

6istri&ucin B2C

o B ' C es e$uiv. a B o C'B o C es e$uivalente a la negacin de no )i entonces es e$uiv. a si no entonces no )i entonces a no o es e$uiv.

6o&le 0egacin

>rans%osicin Im%licacin material

!$uivalencia material B1C

B si ' solo si C es e$uiv. a Bsi es verdadero entonces es verdaderoC ' Bsi es verdadero entonces es verdaderoC B si C es e$uiv. a cual$uiera de los dos B ' son verdaderosC o Btanto como son (alsosC B si C es e$uiv to. tanto B como no son verdaderosC ' Bno o es verdaderoC desde Bsi ' son verdaderos entonces es verdaderoC se %uede %ro&ar $ue Bsi es verdadero entonces es verdadero si es verdaderoC )i entonces Bsi entonces C es e$uivalente a si ' entonces es verdadero es e$uiv. a es verdadero o es verdadero es verdadero es e$uiv. a es verdadero ' es verdadero

!$uivalencia material B2C

!$uivalencia material B3C

!-%ortacin3

Im%ortacin

>autolog*a B1C

>autolog*a B2C

Tertium non datur B+e' de >ercero !-cluidoC Princi%io de no contradiccin Ejemplo de una demostracin[editar] ! demostrar& 'aso $rmula 1 2 3 : ; < %a(n )u%uesto.

o no

es verdadero

' no es (also es un testamento verdadero

6esde B1C %or introduccin de la dis'uncin. 6esde B1C ' B2C %or introduccin de la conjuncin. 6esde B3C %or eliminacin de la conjuncin. Jesumen de B1C 5asta B:C. 6esde B;C %or introduccin del condicional. #!6

+enguaje (ormal en la notacin 709[editar] !l lenguaje (ormal de la lgica %ro%osicional se %uede generar con la gram"tica (ormal descrita usando la notacin 709 como sigue:

+a gram"tica anterior de(ine la %recedencia de o%eradores de la siguiente manera: 1. 0egacin B C 2. Conjuncin B C 3. 6is'uncin B C :. Condicional material B C

;. 7icondicional B )em"ntica[editar]

?na inter%retacin %ara un sistema de lgica %ro%osicional es una asignacin de valores de verdad %ara cada varia&le %ro%osicional sumada a la asignacin usual de signi(icados %ara loso%eradores lgicos. 3 cada varia&le %ro%osicional se le asigna uno de dos %osi&les valores de verdad: o 8 BverdaderoC o 9 B(alsoC. !sto $uiere decir $ue si 5a' n varia&les %ro%osicionales en el sistema el n2mero de inter%retaciones distintas es de 2n. Partiendo de esto es %osi&le de(inir una cantidad de nociones sem"nticas. )i 3 ' 7 son (rmulas cual$uiera de un lenguaje + es un conjunto de (rmulas de + ' M es una inter%retacin de + entonces:

3 es verdadera &ajo la inter%retacin M si ' slo si M asigna el valor de verdad 8 a 3. 3 es (alsa &ajo la inter%retacin M si ' slo si M asigna el valor de verdad 9 a 3. 3 es una tautolog*a Bo una verdad lgicaC si ' slo si %ara toda inter%retacin M M asigna el valor de verdad 8 a 3. 3 es una contradiccin si ' slo si %ara toda inter%retacin M M asigna el valor de verdad 9 a 3. 3 es satis(aci&le Bo consistenteC si ' slo si e-iste al menos una inter%retacin M $ue asigne el valor de verdad 8 a 3. es consistente si ' slo si e-iste al menos una inter%retacin $ue 5aga verdaderas a todas las (rmulas en . 3 es una consecuencia sem"ntica de un conjunto de (rmulas si ' slo si %ara toda (rmula 7 $ue %ertene,ca a no 5a' ninguna inter%retacin en $ue 7 sea verdadera ' 3 (alsa. Cuando 3 es una consecuencia sem"ntica de en un lenguaje + se escri&e: .

3 es una verdad lgica si ' slo si 3 es una consecuencia sem"ntica del conjunto vac*o. Cuando 3 es una verdad lgica de un lenguaje + se escri&e: .

*ablas de verdad[editar] Artculo principal: >a&las de verdad +a ta&la de verdad de una (rmula es una ta&la en la $ue se %resentan todas las %osi&les inter%retaciones de las varia&les %ro%osicionales $ue constitu'e la (rmula ' el valor de verdad de la (rmula com%leta %ara cada inter%retacin. Por ejem%lo la ta&la de verdad %ara la (rmula ser*a:

Como se ve esta (rmula tiene 2n inter%retaciones %osi&les Muna %or cada l*nea de la ta&laM donde n es el n2mero de varia&les %ro%osicionales Ben este caso 3 es decir % $ rC ' resulta ser una tautolog*a es decir $ue &ajo todas las inter%retaciones %osi&les de las varia&les %ro%osicionales el valor de verdad de la (rmula com%leta termina siendo 8. 9ormas normales[editar] 3 menudo es necesario trans(ormar una (rmula en otra so&re todo trans(ormar una (rmula a su (orma normal. !sto se consigue trans(ormando la (rmula en otra e$uivalente ' re%itiendo el %roceso 5asta conseguir una (rmula $ue slo use los conectivos &"sicos B C. Para lograr esto se utili,an las e$uivalencias lgicas:

Por ejem%lo considrese la siguiente (rmula:

+a misma %uede desarrollarse as*:

)e dice $ue una (rmula est" en forma normal disyuntiva B906C si ' slo si tiene la siguiente (orma:

donde cada 3 es una conjuncin de (rmulas. Por ejem%lo la siguiente (rmula est" en (orma normal dis'untiva:

)e dice $ue una (rmula est" en forma normal conjuntiva B90CC si ' slo si tiene la siguiente (orma:

donde cada 3 es una disjuncin de (rmulas. Por ejem%lo la siguiente (rmula est" en (orma normal conjuntiva:

Por las le'es de 6e Morgan es %osi&le %asar de una (orma normal dis'untiva a una (orma normal conjuntiva ' viceversa:

+as 90C ' 906 son mutuamente duales. +a demostracin 5ace uso de las le'es de 6e Morgan ' de la %ro%iedad distri&utiva de la conjuncin ' la dis'uncin. )e de&e cum%lir $ue:

4 viceversa:

+a lgica %ro%osicional ' la com%utacin[editar] 6e&ido a $ue los com%utadores tra&ajan con in(ormacin &inaria la 5erramienta matem"tica adecuada %ara el an"lisis ' diseo de su (uncionamiento es el Nlge&ra de 7oole. !l Nlge&ra de 7oole (ue desarrollada inicialmente %ara el estudio de la lgica. La sido a %artir de 1O3E (ec5a en $ue Claude )5annon %u&lic un li&ro llamado 13n"lisis sim&lico de circuitos con rels1 esta&leciendo los %rimeros conce%tos de la actual teor*a de la conmutacin cuando se 5a %roducido un aumento considera&le en el n2mero de tra&ajos de a%licacin del Nlge&ra de 7oole a los com%utadores digitales. Lo' en d*a esta 5erramienta resulta (undamental %ara el desarrollo de los com%utadores 'a $ue con su a'uda el an"lisis ' s*ntesis de com&inaciones com%lejas de circuitos lgicos%uede reali,arse con ra%ide,. 3ristteles con res%ecto al estudio de la lgica[editar] +a lgica es conocida como una de las ciencias m"s antiguas tanto es as* $ue se le atri&u'e a 3ristteles la %aternidad de esta disci%lina. Partiendo de $ue corres%onde a 3ristteles 5a&er sido el %rimero en tratar con todo detalle la lgica se le considera %ues ser su (undador. !n un %rinci%io se llam 3nal*tica en virtud del t*tulo de las o&ras en $ue trat los %ro&lemas lgicos. M"s tarde los escritos de 3ristteles relativos a estos eventos (ueron reco%ilados %or sus disc*%ulos con el t*tulo de =rganon %or considerar $ue la lgica era un instrumento %ara el conocimiento de la verdad. 3ristteles se %lante cmo es %osi&le %ro&ar ' demostrar $ue un conocimiento es verdadero es decir $ue tiene una valide, universal. 3ristteles encuentra el (undamento de la demostracin en la deduccin %rocedimiento $ue consiste en derivar un 5ec5o %articular de algo universal. +a (orma en $ue se a(ecta esa derivacin es el silogismo %or cu'a ra,n la silog*stica llega a ser el centro de la lgica aristotlica.