LOGICA PROPOSICIONAL

La lgica proposicional tambin llamada Simblica o Matemtica, es aquella parte de la lgica que estudia las proposiciones y smbolos utilizados en la formacin de nuevas proposiciones que podrn ser verdaderas o falsas, sealadas por reglas formales. La lgica es la ciencia que estudia los mtodos y las leyes para determinar cuando la inferencia es vlida. La inferencia es una estructura de proposiciones que consiste en pasar de unas proposiciones llamadas premisas a otra proposicin llamada conclusin. I. Enunciado .- Es toda frase u oracin que seala alguna idea. Ejemplos: T eres lo mximo El cuaderno es azul 73=4 Jos y Manuel son nios Cul es tu nombre? Viva el Per !

1.1. Clases de enunciado.- Pueden ser: A. Enunciado cerrado o proposicin lgica.- Es una expresin coherente que se caracteriza por el hecho de poseer un nico valor de verdad (V) o falsedad (F) sin ambigedad; en un determinado contexto. Ejemplos: Toledo es Huaracino -2 < -3 x + 1= 1 + x 3+2=5 (V) (F) (V) (V)

B. Enunciado Abierto.- Es aquel en el cual intervienen una o ms variables, que admiten la posibilidad de convertirse en una proposicin lgica, cuando cada variable asume un determinado valor, tambin se le conoce como funcin proposicional. Ejemplos: x2 5 > 4 x + 5 = 10 II. x2 3 = 2 Proposicin.- Es aquel enunciado aseverativo (afirma algo) del cual se puede sealar si es verdadero o falso; pero no ambos a la vez, con respecto a una realidad. Ejemplos: El Per est en Sudamrica (-2)2 = 22 Yo ingres y ella se cas Lima es capital del Per

Conectivo u Operador lgico.- Llamados tambin constantes lgicas,estructuras lgicas,Trminos de enlace,Funcktores, etc. Son todos aquellos trminos, palabras o smbolos que enlazan proposiciones sin formar parte de ellas. Las proposiciones se denotan con letras minsculas, como p, q, r, s, t, etc. Sean las proposiciones p y q ; los conectivos ms conocidos son : a) b) c) d) e) f) g) h) El negador : no ; : p ; no p El conjuntor: y ; p q; p y q El disyuntor incluyente: o ; p q; p o q El disyuntor excluyente: o o ; p v q; o p o q El implicador: Si entonces ; p q; Si p entonces q El biimplicador: s y slo s ; p q; p s y slo s q El inalternador: ni ni ; p q; ni p ni q El incompatibilizador: no o no ; p q; no p o no q

2.1. Clases de proposiciones: A) Proposicin simple o atmica.- Aquella que tiene un sujeto y un predicado (no llevan conectivos lgicos). Se les llama tambin mondicas o monarias. Ejemplos: Napolen naci en Crcega Lima es capital del Per Beto es To de Ana Coln descubri Amrica en 1492 Los felinos son ms carnvoros que los primates Julio trabaja en el taller Ana, Rosa y Patty son hermanas El diccionario es nuevo Ciertos nios son ms educados Todos los hombres son mortales Algunos libros son de Historia

B) Proposiciones Compuestas.- Llamadas moleculares, son aquellos que estn constituidas por las proposiciones simples; enlazadas entre s por conectivos lgicos. Ejemplos: Carlos es ingeniero y Lus es mdico. Si Juan trabaja entonces no ve Televisin. Jaime gan el partido o est enfermo. Nac en el Per o en el Ecuador. Ingresas si y solo si estudias. Mabel estudia o trabaja. Yo no estudi. No es cierto que juegues o bailes : ~ ( p v q ) La democracia es incorruptible. Es mentira que en el Per hay democracia. Los universitarios no son cientficos. 2

OPERACIONES LGICAS
Son operaciones que utilizan proposiciones para transformarlas en otras usando los conectivos lgicos. 1. Conjuncin ().- Es aquella operacin que vincula dos proposiciones mediante el conectivo y, o alguna expresin equivalente. Ejemplos: Carlos esta enfermo y Ana prepara el almuerzo. Carlos es mdico y Mara es profesora. En Cuba no hay democracia, sin embargo el pueblo apoya a Fidel. La Lgica es una ciencia pero la Astrologa no lo es. El Per y Chile son pases con democracia. Los mamferos son vertebrados y carnvoros.

Observacin: Los signos de puntuacin como el punto seguido (.) y las comas (,) muchas veces hacen de conjuncin. Ejemplos: Vallejo fue poeta, escritor y revolucionario. Diana estudia medicina. Juan trabaja en un hospital.

Sinnimos de y: Pero Tambin Sin embargo Adems Tal como Incluso No obstante Aunque A la vez Igualmente Tanto como As como Por supuesto

Ejemplos: Tu libro es azul aunque mi libro es rojo. Ana barre el piso sin embargo el cuarto est limpio. Juan lleg tarde al colegio igualmente lleg tarde a la casa.

2.

Disyuncin.- Es aquella operacin que vincula dos proposiciones mediante el conectivo o. Esta operacin puede ser: 2.1. Disyuncin Dbil (v).- Llamada tambin inclusiva, la proposicin formada es verdadera si alguna de las proposiciones que los forman es verdadera o ambas son verdaderas. Ejemplos: Juan es deportista o estudia ingls. Ana trabaja o estudia. La Qumica o la Biologa son ciencias exactas. Se aprende estudiando, de lo contrario tambin haciendo.

Sinnimos de o: Salve que. Excepto que. De lo contrario tambin. A menos que.

2.2. Disyuncin fuerte (v).- Llamada tambin exclusiva, lo proposicin formada es verdadera si slo una de las proposiciones que lo forman es verdadera. En este caso slo uno de sus miembros puede ser aceptado y no ambos a la vez. Ejemplos: 3. O la lgica es una ciencia o es una tcnica. O Carlos est en Lima o esta en Ica. O Marco es abogado excepto que sea comerciante. Carlos es profesor o slo es abogado. Toledo es economista o nicamente es poltico.

Negacin (~).- Es una operacin que afecta a una proposicin cambindole su valor de verdad. Utiliza el adverbio no. Ejemplos: Ana no viaja a Lima. Es falso que Carlos canta. Juan no estudi.

Sinnimos de la negacin: Es falso que No ocurre que No es cierto que No es verdad que No es el caso que

4.

Condicional. ( ) .- Es aquella operacin que toma dos proposiciones, llamando a la primera antecedente y a la segunda consecuente unindolas a travs del conectivo Si entonces o expresiones equivalentes. Tambin se le llama implicador.

Ejemplos: Si Jos viaj entonces conoce Chiclayo. Si estudias entonces ingresas. Si hay inflacin entonces hay desempleo. Si Mara se enferm, dej de ir al colegio. Ya que Janet es profesional, tiene su propia empresa. Sinnimos de Entonces En consecuente Consecuentemente Luego Por lo tanto Se infiere Se deduce Implica Por eso Es obvio Por consiguiente De all que Por ello Bien se ve Es condicin suficiente para Es condicin necesaria para

Sinnimos de Si Porque Ya que Puesto que Dado que Siempre que Basta que En el caso de que Cuando Cada vez que Con la condicin de que Con tal de que Pues Es implicado por

Ejemplos: Mara dej de ir al colegio cuando se enfermo Porque la oferta aumenta, por eso los precios disminuyen

Al antecedente tambin se le conoce como condicin suficiente o simplemente proposicin condicionadora. Al consecuente tambin se le conoce como condicin necesaria o simplemente proposicin condicionada. 5. Bicondicional () .- Llamado tambin biimplicador. Es aquella que vincula dos proposiciones mediante el conectivo Si y slo s o expresiones equivalentes. Ejemplos Carlos estudia ingles si y slo s viaja al extranjero. 5

 Existe estado de derecho si y slo s se respeta la Constitucin. Ir al cine siempre y cuando vaya contigo. Sinnimos: Cundo y slo cuando Entonces y slo entonces Siempre y cuando Si solamente si Es suficiente y necesario

Ejemplo: 6. Para ser profesional es suficiente y necesario ser buen estudiante.

Barra de Shaffer, de incompatibilidad o de negacin alterna.- ( | ) . Para dos proposiciones seala que la primera es incompatible con la segunda, esto es si las dos son verdaderas, la proposicin negativa alterna es falsa. Ejemplo: Jos es hijo de Lus es incompatible con que Lus es menor que Jos.

Simblicamente: p : Jos es hijo de Lus q : Lus es menor que Jos Entonces p | q p es incompatible con q La negacin alterna es la negacin de la conjuncin: p | q ~ (p q) ~p v ~q 7. Flecha de Nicod o de negacin conjunta ( ) .- Para dos proposiciones, niega a la primera y a la segunda, mediante el conectivo ni. ni. Se llama tambin inalternador. La proposicin resultante es verdadera si las proposiciones que lo forman son falsas. Ejemplo: Ni Carlos trabaja ni Jos estudia.

Simblicamente: p: Carlos trabaja q: Jos estudia Entonces p q ni p ni q La negacin conjunta es la negacin de la disyuncin dbil. p q ~ (p v q) ~p ~q

Representacin de proposiciones compuestas

Las proposiciones compuestas se representan mediante letras maysculas: P, Q, R, S, T , U , etc. Ejemplo: P: Jos estudia en el da y trabaja en la noche. Se observa que P es una proposicin molecular conjuntiva; simbolizando las proposiciones simples: q : Jos estudia en el da r : Jos trabaja en la noche. Se obtiene: P: q r Ntese que P depende de las variables proposicionales q y r, lo cual se puede sealar: P(q,r): q r Ejemplo: a) Q( p ) : ( p : p) p S ( p, q ) : ( p q ) q R ( p, q, r ) : ( p : q ) r

b) c)

Jerarqua de conectores
Existe la siguiente jerarqua de conectores: , v, , , , : De mayor jerarqua a menor jerarqua:

Esquemas Moleculares
Los esquemas moleculares son la combinacin de variables y operadores proposicionales. Tambin se le llama formula proposicional. Verdad Formal.- Es aquella que se obtiene evaluando esquemas moleculares haciendo uso de reglas de conectores lgicos y tablas de verdad. I.Clases de esquemas moleculares.- Tenemos: 1.1. Esquemas moleculares por el conector de mayor jerarqua.- Si tenemos en cuenta este criterio los esquemas moleculares son frmulas compuestas por variables, 7

operadores lgicos y en algunos casos signos de agrupacin. El nombre del esquema molecular, lo determina el conector de mayor jerarqua. Para ello tenemos en cuenta lo siguiente: , v, , , , : Ejemplos: a) b) c) p q : esquema molecular condicional. : ( p q ) r : esquema molecular disyuntivo. ( p q ) (r s ) : esquema molecular bicondicional.