Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lgica proposicional
La lgica proposicional o lgica de orden cero trata de tocarte el cerebro con sistemas lgicos que carecen de cuentificadores, o variables interpretables como entidades. En lgica proposicional si bien no hay signos para variables de tipo entidad, s existen 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 analizarse la inferencia lgica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.[] Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.[1]
Introduccin
Considrese el siguiente argumento: 1. Maana es mircoles o maana es jueves. 2. Maana no es jueves. 3. Por lo tanto, maana es mircoles. Es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones maana es mircoles y maana es jueves, porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo: 1. Est soleado o est nublado. 2. No est nublado. 3. Por lo tanto, est soleado. En cambio, la validez de estos dos argumentos depende del significado de las expresiones o y no. Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo: 1. Ni est soleado ni est nublado. 2. No est nublado. 3. Por lo tanto, est soleado. Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas. La lgica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lgicas. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se las llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse as: 1. p o q 2. No q 3. Por lo tanto, p Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as: 1. Ni p ni q 2. No q 3. Por lo tanto, p
Lgica proposicional
Conectivos lgicos
A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas.
Conectiva Expresin en el lenguaje natural no y o si... entonces si y slo si ni... ni o bien... o bien Ejemplo Smbolo en Smbolos este artculo alternativos
Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta Disyuncin excluyente
No est lloviendo. Est lloviendo y est nublado. Est lloviendo o est soleado. Si est soleado, entonces es de da. Est nublado si y slo si hay nubes visibles. Ni est soleado ni est nublado. O bien est soleado, o bien est nublado.
En la lgica proposicional, las conectivas lgicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la funcin no a una letra que represente una proposicin falsa, el resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est lloviendo. El significado de las conectivas lgicas no es nada ms que su comportamiento como funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.
Negacin Conjuncin Disyuncin Condicional Bicondicional
Otras leyes como el principio del tercero excluido son admisibles en lgica clsica, pero en lgica intuicionista y con fines a sus aplicaciones matemticas no existe un equivalente del tercero excluido, por ejemplo.
Lgica proposicional
Sistema axiomtico
Alfabeto El alfabeto de un sistema formal es el conjunto de smbolos que pertenecen al lenguaje del sistema. Si L es el nombre de este sistema axiomtico de lgica proposicional, entonces el alfabeto de L consiste en: Una cantidad finita pero arbitrariamente grande de variables proposicionales. En general se las toma del alfabeto latino, empezando por la letra p, luego q, r, etc., y utilizando subndices cuando es necesario o conveniente. Las variables proposicionales representan proposiciones como "est lloviendo" o "los metales se expanden con el calor". Un conjunto de operadores lgicos: Dos signos de puntuacin: los parntesis izquierdo y derecho. Su nica funcin es desambiguar ciertas expresiones ambiguas, en exactamente el mismo sentido en que desambiguan la expresin 2 + 2 2, que puede significar tanto (2 + 2) 2, como 2 + (2 2). Gramtica Una vez definido el alfabeto, el siguiente paso es determinar qu combinaciones de smbolos pertenecen al lenguaje del sistema. Esto se logra mediante una gramtica formal. La misma consiste en un conjunto de reglas que definen recursivamente las cadenas de caracteres que pertenecen al lenguaje. A las cadenas de caracteres construidas segn estas reglas se las llama frmulas bien formadas. Las reglas del sistema L son: 1. Las variables proposicionales del alfabeto de L son frmulas bien formadas. 2. Si 3. Si es una frmula bien formada de L, entonces y son frmulas bien formadas de L, entonces tambin lo es. , , y tambin
lo son.
Lgica proposicional 4. Slo las expresiones que pueden ser generadas mediante las clusulas 1 a 3 en un nmero finito de pasos son frmulas bien formadas de L. Segn estas reglas, las siguientes cadenas de caracteres son ejemplos de frmulas bien formadas:
Por otra parte, dado que la nica funcin de los parntesis es desambiguar las frmulas, en general se acostumbra omitir los parntesis externos de cada frmula, ya que estos no cumplen ninguna funcin. As por ejemplo, las siguientes frmulas generalmente se consideran bien formadas:
Otra convencin acerca del uso de los parntesis es que las conjunciones y las disyunciones tienen menor jerarqua que los condicionales materiales y los bicondicionales. Esto significa que dada una frmula sin parntesis, las conjunciones y las disyunciones deben agruparse antes que los condicionales materiales y los bicondicionales. Por ejemplo:
Frmula Lectura correcta Lectura incorrecta
Estas convenciones son anlogas a las que existen en el lgebra elemental, donde la multiplicacin y la divisin siempre deben resolverse antes que la suma y la resta. As por ejemplo, la ecuacin 2 + 2 2 podra interpretarse como (2 + 2) 2 o como 2 + (2 2). En el primer caso el resultado sera 8, y en el segundo caso sera 6. Pero como la multiplicacin siempre debe resolverse antes que la suma, el resultado correcto en este caso es 6, no 8.
Lgica proposicional Axiomas Los axiomas de un sistema formal son un conjunto de frmulas bien formadas que se toman como punto de partida para demostraciones ulteriores. Un conjunto de axiomas estndar es el que descubri Jan ukasiewicz: Reglas de inferencia Una regla de inferencia es una funcin que va de conjuntos de frmulas a frmulas. Al conjunto de frmulas que la funcin toma como argumento se lo llama premisas, mientras que a la frmula que devuelve como valor se la llama conclusin. En general se busca que las reglas de inferencia transmitan la verdad de las premisas a la conclusin. Es decir, que sea imposible que las premisas sean verdaderas y la conclusin falsa. En el caso de L, la nica regla de inferencia es el modus ponens, el cual dice:
no son frmulas, sino metavariables que pueden ser reemplazadas por cualquier frmula
Deduccin natural
Un sistema de lgica proposicional tambin puede construirse a partir de un conjunto vaco de axiomas. Para ello se especifican una serie de reglas de inferencia que intentan capturar el modo en que naturalmente razonamos acerca de las conectivas lgicas. Introduccin de la negacin: Si suponer lleva a una contradiccin, entonces se puede inferir que (reduccin al absurdo).
Eliminacin de la negacin:
Introduccin de la conjuncin:
Eliminacin de la conjuncin:
Introduccin de la disyuncin:
Lgica proposicional
Eliminacin de la disyuncin:
Introduccin del condicional (vase el teorema de la deduccin): Si suponer lleva a una prueba de , entonces se puede inferir que .
La gramtica anterior define la precedencia de operadores de la siguiente manera: 1. 2. 3. 4. 5. Negacin ( ) Conjuncin ( ) Disyuncin ( ) Condicional material ( Bicondicional ( )
Lgica proposicional
Semntica
Una interpretacin para un sistema de lgica proposicional es una asignacin de valores de verdad para cada variable proposicional, sumada a la asignacin usual de significados para los operadores lgicos. A cada variable proposicional se le asigna uno de dos posibles valores de verdad: o V (verdadero) o F (falso). Esto quiere decir que si hay n variables proposicionales en el sistema, el nmero de interpretaciones distintas es de 2n. Partiendo de esto es posible definir una cantidad de nociones semnticas. Si A y B son frmulas cualquiera de un lenguaje L, es un conjunto de frmulas de L, y M es una interpretacin de L, entonces: A es verdadera bajo la interpretacin M si y slo si M asigna el valor de verdad V a A. A es falsa bajo la interpretacin M si y slo si M asigna el valor de verdad F a A. A es una tautologa (o una verdad lgica) si y slo si para toda interpretacin M, M asigna el valor de verdad V a A. A es una contradiccin si y slo si para toda interpretacin M, M asigna el valor de verdad F a A. A es consistente (o satisfacible) si y slo si existe al menos una interpretacin M que asigne el valor de verdad V a A. es consistente si y slo si existe al menos una interpretacin que haga verdaderas a todas las frmulas en . A es una consecuencia semntica de un conjunto de frmulas si y slo si para toda frmula B que pertenezca a , no hay ninguna interpretacin en que B sea verdadera y A falsa. Cuando A es una consecuencia semntica de en un lenguaje L, se escribe: . A es una frmula lgicamente vlida si y slo si A es una consecuencia semntica del conjunto vaco. Cuando A es una frmula lgicamente vlida de un lenguaje L, se escribe: .
Tablas de verdad
La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la frmula y el valor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula sera:
Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la tabla, donde n es el nmero de variables proposicionales (en este caso 3, es decir p, q, r) , y resulta ser una tautologa, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la frmula completa termina siendo V.
Lgica proposicional
Formas normales
A menudo es necesario transformar una frmula en otra, sobre todo transformar una frmula a su forma normal. Esto se consigue transformando la frmula en otra equivalente y repitiendo el proceso hasta conseguir una frmula que slo use los conectivos bsicos ( ). Para lograr esto se utilizan las equivalencias lgicas:
Se dice que una frmula est en forma normal disyuntiva (FND) si y slo si tiene la siguiente forma:
donde cada A es una conjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal disyuntiva:
Se dice que una frmula est en forma normal conjuntiva (FNC) si y slo si tiene la siguiente forma:
donde cada A es una disjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal conjuntiva:
Por las leyes de De Morgan, es posible pasar de una forma normal disyuntiva a una forma normal conjuntiva y viceversa:
Las FNC y FND son mutuamente duales. La demostracin hace uso de las leyes de De Morgan y de la propiedad distributiva de la conjuncin y la disyuncin. Se debe cumplir que:
Y viceversa:
Lgica proposicional
Enlaces externos
Introduccin a la lgica proposicional (http://portales.educared.net/wikiEducared/index. php?title=Lgica_proposicional)
10
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/