Introduccin a la lgica proposicional.

Son Aquellas expresiones lingsticas que tienen una funcin informativa. De ellas tiene sentido decir si son verdaderas o falsas. Introduccin. Lgica, del griego lgik, derivado de logiks, que se refiere a la razn (lgos, razn). Estudio de los razonamientos correctos o vlidos. Es el procedimiento sistemtico y fundado que nos permite diferenciar un razonamiento correcto, o vlido de otro incorrecto, o invlido. Es, por lo mismo, estudio de la deduccin lgica (procedimiento que consiste en aplicar reglas generales a casos particulares, como las matemticas) o de la inferencia lgica (operacin con por la que llegamos a una conclusin mediante esas reglas). Puede tambin definirse como el estudio sobre la consistencia de los enunciados que afirmamos, o como la ciencia de las reglas que nos permiten llegar a conclusiones vlidas a partir de premisas dadas. La lgica que se estudia en el primer curso de Bachillerato es la formulacin matemtica de G. Boole y G. Frege; que ha mantenido un notable desarrollo durante los siglos XIX y XX, sobre todo por obras de autores como G. Cantor, G. Peano, B. Russell, E. Zermelo, A. Church, R. Carnap y A. Tarski. La parte que se estudia en Bachillerato corresponde a la lgica proposicional o lgica de enunciados, que se ocupa del estudio de la formalizacin y de las reglas de inferencia, formalizando a partir de enunciados del lenguaje natural razonamientos, y comprobando su validez mediante la aplicacin de reglas de inferencia y criterios de consistencia, en una lgica que slo contempla dos posibles valores para los enunciados, verdadero o falso, representados algunas veces como 1 y 0. Simbolizacin de las proposiciones. Es necesario en lgica utilizar un lenguaje simblico especial que elimine los rasgos que no nos interesan y pongan de manifiesto los que s nos interesan. En lgica nos interesa saber cmo estn combinadas las proposiciones, y no nos interesa en Absoluto su significado. Por ello necesitamos unos smbolos que, prescindiendo del significado de las proposiciones, nos indiquen la forma en que se combinan. Estos smbolos constituyen un lenguaje forma En primer lugar, las proposiciones atmicas pueden ser sustituidas por lo que llamaremos variables proposicionales, que sern las letras: P.Q.R.S Segn los datos histricos, Aristteles introdujo las letras como: p, q, r, etc., con la finalidad de representar a cada proposicin declarativa. Las variables proposicionales slo pueden asumir los valores de verdad (V) o falsedad (F).As tenemos: Para dos proposiciones: p, q se tiene la siguiente tabla de verdad

p q V V V F F V F F

..

p 1 1 0 0

q 1 0 1 0

..

Conectivos lgicos. Son palabras y/o smbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simblico) ms amplio. Se denominan conectivos lgicos a aquellas palabras o trminos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectores bsicos son:

CONECTIVO No Y o o. . . o. . . Si entonces...

SMBOLO ~ ^

NOMBRE DE LA PROPOSICIN Negacin Conjuncin Disyuntiva inclusiva Disyuntiva exclusiva Condicional Bicondicional

si y slo si

Negacin (~)

Es un conectivo singular. Se denomina proposicin negativa aquella que cambia el valor de la proposicin original. Se denota por: ~p, -p, p y se lee: no p. La negacin, puede traducirse como: Es falso que... No es el caso que... Jams... Ejemplo: p = La luna es un satlite. ~p = No es cierto que la luna es un satlite.

Conjuncin. Dadas las proposiciones p, q. La conjuncin es el resultado de unir estas proposiciones con el conectivo lgico y. Se denota con el smbolo: ^, ^, se escribe p ^q, p ^ q y se lee: p y q. La proposicin conjuntiva es verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje podemos emplear: Sin embargo An cuando No obstante Pero, etc. Ejemplo: Consideremos las siguientes proposiciones: p: La camioneta enciende cuando tiene gasolina en el tanque q: Tiene corriente la batera Entonces: p ^ q: La camioneta enciende cuando tiene gasolina en el tanque y tiene corriente la batera

Disyuncin. Es una proposicin compuesta formada por p y por q relacionadas por el conectivo lgico o. Segn el sentido del conectivo o, se puede interpretar de dos maneras: inclusiva o exclusiva. Disyuncin Inclusiva o Dbil: Se denota por p ^q, p + q y se lee: p o q. La disyuncin inclusiva es falsa slo en el caso que ambas proporciones sean falsas. Se conoce como la suma lgica. Otras formas de conexin que nos indican una disyuncin inclusiva son: A menos que, Excepto que, O en todo caso, A no ser que, etc.

Ejemplo: Consideremos: p: La USS es privada q : La USS es estatal Entonces: p ^q: La USS es privada o en todo caso la USS es estatal

Disyuncin Exclusiva o Fuerte: Se denota por: p ^ q, p V q, p ^ q, p q, p q y se lee: p o q pero no ambos. La disyuncin exclusiva es verdadera slo cuando una de las proposiciones es verdadera. Algunas formas de conectivos a emplear son: O... o... O bien... o bien... ... no equivale a... O solo.... o solo....

No es cierto que...equivale a... Ejemplo: Consideremos:

p: viajo a Espaa q: viajo a Brasil Entonces: p ^ q: O viajo a Espaa o viajo a Brasil

Formas proposicionales:

Tablas de verdad: Las tablas de verdad son una forma de conocer el valor de una formula compleja a travs de los valores de verdad de las variables o constantes que la conforman. Es importante ser ordenado en el valor de las variables, para estar seguros que estamos revisando todos los casos. Sirve identificar de antemano las partes de una frmula para ir calculando los valores de verdad intermedios. Algo interesante de las tablas de verdad es que nos permiten reconocer cual es la formula. 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:

Negacin de formas proposicionales La negacin clsica es una operacin sobre un valor de verdad, tpicamente, el valor de una proposicin, que produce un valor de verdadero cuando su operando es falso, y un valor de falso cuando su operando es verdadero. Por tanto, si el enunciado A es verdadero, entonces A (pronunciado "no A") sera consecuentemente falso; y lo contrario, si A es verdadero, entonces A sera falso. Tabla de verdad de p p p Verdadero Falso

Falso

Verdadero

La negacin clsica se puede definir en trminos de otras operaciones lgicas. Por ejemplo, p se puede definir como p F, donde "" es una implicacin lgica y F es una falsedad absoluta. Por el contrario, se puede definir F como p & p para cualquier proposicin p, donde "&" es una conjuncin lgica. La idea aqu es que cualquier contradiccin es falsa. Mientras estas ideas funcionan tanto en la lgica clsica como en la instuicionista, no funcionan en la lgica para consistente, donde las contradicciones no son necesariamente falsas. En lgica clsica tenemos una identidad adicional: p q se puede definir como p q, donde "" es la disyuncin lgica: "no p, o q". Algebraicamente, la negacin clsica corresponde con el complemento en un lgebra booleana, y la negacin intuicionista al seudo complemento en un lgebra de Heyting. Estas lgebras proveen una semntica para la lgica clsica e intuicionista respectivamente. Tautologa. Tautologa: Formula que es verdadera sin importar el valor de Verdad de las variables que la conforman. Contradiccin: Frmula que es falsa sin importar el valor de Verdad de las variables que la conforman. Contingencia: Frmula que puede ser verdadera o falsa, Dependiendo el valor de verdad de las variables que la Conforman. Ejemplos: ((pVq)(pq)) ((p(q^r)) ^ (p^r)) (pq)