Mdulo 1

Unidad 1
Lgica Proposicional

Materia: Lgica Simblica Profesor: Marcelo Smrekar

1.1- Introduccin a la lgica

-El siglo veinte es una nueva era -dijo Holmes-. Nuevas ideas surgen de las mejores mentes de esta poca y nuestros cientficos y filsofos de Cambridge estn a la cabeza. No ha odo usted hablar de la escisin del tomo por un individuo llamado Rutherford? Y Russell, junto con su compaero Whitehead, ha publicado recientemente un trabajo en el que han escindido, por as decirlo, algo mucho ms difcil: nuestro sistema numrico en pequeas partculas de pura lgica. Han consumido unas doscientas pginas antes de llegar al nmero uno. (Randall Collins. DR. J.H. Watson. El caso del anillo de los filsofos)
Un lenguaje que utiliza smbolos para representar conceptos complejos es, a juicio de muchos especialistas, la razn ms importante de la supremaca del Homo Sapiens sobre el resto de las especies. El lenguaje utiliza smbolos auditivos, luego escritos, para la comunicacin entre los sujetos y para construir tambin cadenas de conceptos (que llamamos razonamientos) donde se deducen conceptos ms complejos. Es decir que el lenguaje nos proporciona las herramientas mentales para pensar, sintetizar y argumentar, entre otras cosas, lo que sabemos.

Introduccin a la lgica.
Mientras la Semitica estudia el lenguaje que utilizamos para comunicarnos como sistema de smbolos, la Lgica Formal o Lgica Matemtica estudia el lenguaje que utilizamos para razonar. La Lgica, busca estructuras que fundamenten las conclusiones y respalden nuestra ciencia y conocimiento en general. Aunque a lo largo de la historia la sido considerado un saber filosfico, y se sigue enseando en las facultades de Filosofa, hoy la Lgica es una ciencia formal, ligada a las Matemticas y fundamentalmente a la Informtica, y tendiente a constituirse en ciencia autnoma. La Lgica se ocupa de los productos mentales considerados en s mismos, de las correctas relaciones entre conceptos, juicios y razonamientos. Se interesa por la estructura o forma del pensamiento, sin tomar en cuenta su contenido, por ello es la lgica una ciencia formal. Adems, como el pensamiento se expresa en un lenguaje, en este sentido tambin la Lgica estudia el lenguaje. Dentro de la Lgica Matemtica, la Lgica Proposicional estudia las proposiciones y los razonamientos, y la Lgica de clases, los conceptos, trminos o palabras.

Lgica Simblica Marcelo Smrekar | 2

El lenguaje formal y el lenguaje corriente.

Distinguir entre Lgica y Semitica supone una distincin entre el lenguaje formal y lenguaje corriente, objetos de ambas ciencias respectivamente. Se entiende por lenguaje corriente o coloquial al lenguaje que utilizamos para comunicarnos a diario. El lenguaje coloquial no requiere ms formalismo que el necesario para que los dems entiendan qu es lo que queremos decir. De esta forma, el lenguaje corriente tiene construcciones que no resisten ningn nivel de anlisis semntico pero que son tiles para comunicarnos.

En lenguaje coloquial, es frecuente escuchar un dilogo como el siguiente: -- Pedro, Fuiste al mdico? -- S, no tena nada!

Cualquier interlocutor del paciente Pedro entender que el mismo pretende decir que se encuentra en buen estado de salud. Pero si realizamos un anlisis y entendemos a la palabra nada como un sustantivo entonces no tener nada, es equivalente a tener algo, con lo que se podra asumir que Pedro est enfermo. Dicho razonamiento nos expone a la justa ira de Pedro y a un sonoro siempre buscndole la quinta pata al gato vos como si hubiera un gato cerca a quien buscarle una pata ms de la que normalmente tienen los cuadrpedos. Entonces no sera un cuadrpedo! En fin... Pedro dira vos me entends y lo mismo dira yo.

El lenguaje coloquial requiere la formalidad necesaria para que los dems interpreten correctamente lo que decimos. En cambio, el lenguaje lgico, formal, matemtico, no puede dar lugar a dos interpretaciones diferentes. No hay lugar para la ambigedad en la ciencia. El lenguaje formal debe estar regulado por estrictas normas y reglas de sintaxis.

Sostienr Beinhauer haciendo distincin entre lenguaje coloquial y literario lo siguiente (http://culturitalia.uibk.ac.at/hispanoteca): Entendemos por lenguaje coloquial el habla tal como brota natural y espontneamente en la convivencia diaria, a diferencia de las manifestaciones lingsticas conscientemente formuladas, y por tanto ms cerebrales, de oradores, predicadores, abogados, conferenciantes, etc., o las artsticamente moldeadas y engalanadas de escritores, periodistas o poetas. Casi todos los mtodos, incluso los mejor hechos, que para el estudio del

Lgica Simblica Marcelo Smrekar | 3

espaol han venido publicndose en Alemania, aspiran poco menos que exclusivamente a ensear la lengua literaria, en tanto que las particularidades del lenguaje hablado, salvo algunos estudios y artculos desperdigados por revistas y peridicos, quedan limitadas a espordicas observaciones marginales o anotaciones a pie de pgina. Es error muy difundido confundir el lenguaje cotidiano que se habla, con la lengua tambin cotidiana, pero escrita o impresa, de comerciantes o periodistas, la utilidad de cuyo conocimiento no pretendemos negar. Sin embargo, al tratar de lenguaje coloquial nos referimos nicamente a la lengua viva conversacional. Por cuanto sus medios expresivos no constan tan slo de elementos sintctico-estilsticos por un lado, y de vocablos y giros, o sea de elementos lexicolgicos, por el otro; a todos ellos se agregan los medios dinmicos de entonacin, gesto y mmica. No faltar quien me pregunte: el conocimiento del lenguaje coloquial, de evidente utilidad para la prctica del idioma hablado, qu valor podr tener para el terico o el erudito interesado preferentemente en estudiar obras literarias? Y yo contesto: quien niegue la trascendental importancia de dicha materia precisamente tambin para el estudio de la literatura, olvida que la lengua incluso de poetas y literatos y aun de eruditos, sobre todo los de habla espaola arraiga profundamente en el subsuelo del lenguaje familiar y popular, del que se nutre a diario. Por tanto, slo ser capaz de sentir, captar y apreciar las ltimas intenciones y exquisiteces incluso de un lenguaje artstico, quien conozca tambin la materia prima de que ste est amasado, o sea, la lengua del pueblo, del ambiente en que vive el artista, la que este mismo habla a diario. Es ms: no me recato en afirmar que quien no est debidamente familiarizado con el lenguaje coloquial, tampoco puede dominar realmente la lengua escrita. Podr si acaso, a fuerza de estudiar gramtica, llegar a expresarse con alguna correccin, pero esto no equivale, ni mucho menos, a lo que yo entiendo por dominio verdadero del idioma.1 (Beinhauer, Werner; 1930; pg. 9-10) Acota Alonso al respecto: Siempre me ha preocupado esta maravilla diaria, el lenguaje, enraizado en nuestras vidas, nuestra marca de hombres. Y, claro est, ms que ninguna otra lengua la que hablo: no la castellana de tiempos antiguos o la de la literatura, sino la que hablamos todos los das. Y as casi no pasa uno en que por algunos momentos no me detenga a pensar sobre algunos de esos curiosos giros que omos y empleamos, troquelaciones que a veces parecen del todo inexplicables. (...) Qu portentosa variedad, abundancia, frtil complicacin, esto que hablamos u omos todos los das: qu extraordinario mecanismo llevamos dentro, qu fino en la captacin de los matices, qu rpido y certero en las reacciones, cmo y con qu facilidad refleja el carcter de los hombres de Espaa. Y qu desconocido nos es. Por eso nos asombra encontrarlo y casi encontrarnos en el libro de Beinhauer: la lengua espaola viva, corriente y moliente, que en su mayor parte no est registrada en ningn sitio, y que en vano buscaremos en diccionarios y gramticas. El autor la ha extrado de la vida misma, de su experiencia directa en medios espaoles: y cuando no, de autores contemporneos (de teatro o de novela) que usan abundantemente los modos coloquiales. Cierto que stos algunas veces inventan, es decir, crean estilsticamente nuevos giros o frases: pero, cuando as ocurre, lo creado est en la lnea del genio idiomtico, y suele reducirse a mera variante intensificadora de una troquelacin ya existente. Todos los

Beinhauer, Werner; El espaol coloquial; Madrid: Gredos; 1958.

Lgica Simblica Marcelo Smrekar | 4

ejemplos de Beinhauer pueden considerarse espaol vivo contemporneo. 2 (Dmaso Alonso; 1958; 1-2) Y lo sintetiza muy bien Alcaraz Var en Lengua estndar: Se llama lengua estndar, o lengua comn, a la utilizada como modelo, por estar normalizada, de acuerdo con las normas prescritas, como correcta. sta es la lengua que usan los medios de comunicacin, los profesores, los profesionales, etc. Por lo general, el concepto de estndar se aplica slo al lxico y a la morfosintaxis, estando excluido del mismo las variedades fonolgicas (cf acento, dialecto). Dicho con otras palabras, tan estndar es el espaol hablado con acento andaluz o valenciano como el de Castilla, siempre que el lxico y la sintaxis correspondan a la norma. La lengua estndar tiene variantes, que van desde la lengua coloquial, o lengua familiar, hasta la acadmica o solemne. La primera se caracteriza por el uso de palabras y enunciados que tienen ms carga expresiva, afectiva o emotiva. El trmino culto lo mismo puede aplicarse al concepto de lengua estndar que al de registro acadmico, formal y solemne. La lengua coloquial se diferencia del llamado lenguaje convencional, caracterizado por una fraseologa formulstica, propia de la funcin ftica del lenguaje (cf funcin del lenguaje), en la que abundan modismos, refranes, saludos, felicitaciones, expresiones eufemsticas (Le lleg la hora!) y de autoafirmacin (Te lo digo yo, Sabes?, etc.). 3 (Alcaraz Var y Martnez Linares, 1997, p. 323)

1.2- Proposiciones.
Para el estudio de la Lgica Formal, debemos definir el objeto fundador de la misma y sobre el cul desarrollaremos todos los contenidos de la materia. Este objeto o entidad es lo que llamaremos proposicin.

Definicin de proposiciones.
Podemos plantear de distintas maneras el mismo concepto. Diremos, por ejemplo, que: una oracin declarativa es una proposicin si es susceptible de tener un valor de verdad. En otras palabras, una proposicin es un enunciado lingstico (generalmente en la forma gramatical de una oracin enunciativa) que es susceptible de poder ser verdadero o falso. O en resumen: proposiciones son las entidades portadoras de los valores de verdad. Existen diversos ejemplos de proposiciones pero todos ellos cumplen con el concepto expresado en el prrafo precedente. Por ejemplo si digo No est lloviendo o It isnt raining, estas oraciones expresarn la misma proposicin por tener el mismo significado. El que esa proposicin sea verdadera o falsa, depender de las circunstancias o estado de cosas de la realidad en las que ha sido dicha la oracin aseverativa que la expresa. Si hoy llueve, pero maana no, entonces decir hoy no est lloviendo,
2

Dmaso Alonso; Unas palabras; Prlogo a Beinhauer; Werner; El espaol coloquial; Madrid; Gredos; 1958. 3 Alcaraz Var, Enrique / Martnez Linares, Mara Antonia: Diccionario de lingstica moderna. Barcelona: Editorial Ariel, 1997, p. 323

Lgica Simblica Marcelo Smrekar | 5

expresar una proposicin falsa, y decir maana lo mismo expresar una proposicin verdadera.

Ejemplos de proposiciones: 1) La respuesta fue inmediata. 2) Me invit a cenar, pero me dio mal su direccin. 3) Me sorprendi tambin, que tuviera que preguntarle a Jorge, su marido, si ellos tomaban vino cuando le dije que llevara uno. 4) Esa fue mi primera sorpresa y decid no darle importancia. 5) Ella pensaba que viva en el 24 de Vallseca, cuando sobre su puerta un enorme 14 la miraba intrigado, en pensamientos existencialistas. 6) La pretensin de que la vida puede pasar por el ojo de un cristal, solamente me resulta tan inverosmil como estpida. 7) Es en definitiva una caracterizacin del minuto a minuto, pero visto desde la perspectiva de una vida. 8) No es casual que los generadores de ideas se revuelquen recurrentemente en las mismas perspectivas, en los mismos temas y en las diferentes maneras de ver las causas de los efectos tediosamente repetidas. 9) Tom mis llaves, los salud y sal cuanto antes. Todava tena que decidir dnde ir, pero lo de rpidamente, estaba clarsimo.

Valores de Verdad.
Dada una proposicin se puede convenir que la misma puede tener distintos valores de verdad. Una convencin podra ser que una proposicin sea muy verdadera, medianamente verdadera o falsa. En ese caso, tendramos tres valores de verdad para esa proposicin. Si todas las proposiciones pudieran tener tres valores de verdad la lgica consecuente, construida con esas proposiciones, se llamara Lgica trivalente. En general, aunque existen lgicas polivalentes, en orden a la claridad del concepto, aqu consideramos nicamente el valor de Verdad o Falsedad. Las lgicas polivalentes dan lugar a construcciones que amplan los alcances de esta materia y no se considerarn aqu. Dan lugar, entre otras, a la Lgica Difusa, muy difundida en cuestiones relacionadas con la Ingeniera Electrnica. Tendremos entonces, que todas las proposiciones tendrn dos valores de verdad posible: Verdad (V) o Falsedad (F) y la ausencia de un valor de verdad indicar inmediatamente el otro valor de verdad. Este principio es lo que nos permitir demostrar por el absurdo, herramienta inadmisible en las lgicas polivalentes.

Lgica Simblica Marcelo Smrekar | 6

Graficaremos en una tabla, todos los valores de verdad posibles de una proposicin. Ms adelante profundizaremos este concepto. Dada la proposicin p sus valores de verdad pueden ser de acuerdo a la siguiente tabla. p V F

Expresiones que no constituyen una proposicin.

Las oraciones no declarativas, no son proposiciones por no poder ser calificadas de verdaderas o falsas. Entre stas tenemos: las interrogativas (Dnde est el libro de lgica?), las exclamativas (Genial!), las imperativas (Cerr la puerta) y las desiderativas (Deseo que rindas bien). Sin embargo, existen las llamadas proposiciones elpticas que son oraciones exclamativas susceptibles de una interpretacin en trminos de proposiciones. Por ejemplo: Oro! puede interpretarse como En la mina hay oro; Gol! se interpretar como Ese equipo ha anotado en el arco contrario. Salvo estas ltimas, las exclamativas, no constituyen proposiciones. Tampoco lo hacen las que resultan de atribuirle un predicado a un sujeto incapaz de poseer tal predicado. stas son llamadas seudoproposiciones. Por ejemplo: El ventilador es honrado. Tampoco son proposiciones las descripciones definidas por frases reemplazables por un nombre, stas no tienen la forma de una oracin completa (de sujeto y predicado). Ejemplos de proposiciones: 1) El autor del Quijote. 2) El cuadrado de dos. 3) Evoh, evoh. 4) Ya junt lea para el invierno? 5) Y si se haban transformado? 6) No pods ser as! 7) Y la moto? 8) Y Candela?

Lgica Simblica Marcelo Smrekar | 7

Proposiciones simples y compuestas.

Llamaremos proposicin simple (o atmica) cuando la misma hace referencia a un nico contenido de verdad o falsedad; vendra a ser equivalente a la oracin enunciativa simple en la lengua. En cambio llamaremos proposicin compuesta (o molecular) cuando est constituida por varias proposiciones simples, unidas por ciertas partculas llamadas "nexos o conectivos", que establecen relaciones sintcticas como funcin de coordinacin y subordinacin determinadas, entre las proposiciones que la integran. Tal ocurre en la funcin de las conjunciones en las oraciones compuestas de la lengua.

1.3- Conectivos Lgicos.

Los conectivos lgicos son elementos que sirven de nexo entre proposiciones. Estos elementos transforman las proposiciones. Pueden transformar una proposicin simple en otra simple con opuesto valor de verdad (es el caso del conectivo de la negacin), varias simples en una compuesta o varias compuestas en otra compuesta de mayor complejidad (los dems conectivos: conjuncin, disyuncin y condicionales). Entre los conectivos que estudiaremos se encuentran la negacin, la conjuncin, las disyunciones y las implicaciones.

Negacin.
La negacin, en el lenguaje coloquial, es la accin de asignar el valor de verdad contrario a una determinada proposicin. As cuando decimos No es verdad que este vehculo sea de la empresa estamos asignando el valor contrario de verdad a la proposicin Este vehculo es de la empresa. El conectivo lgico negacin, entonces, al que representaremos con el smbolo , es la entidad que determina el cambio en los valores de verdad de una proposicin. De este modo, si p es una proposicin, entonces p es la proposicin negada que toma exactamente el valor de verdad contrario a p. Su tabla de verdad se expresa de la siguiente manera:

P p V F F V

Lgica Simblica Marcelo Smrekar | 8

Es decir que cuando es verdadero el valor de verdad de p, es falso el valor de verdad de p y cuando p es falso, p es verdadero. Ejemplos de proposiciones negadas: 1) Jorge no se equivocaba seguido. Negacin de: Jorge se equivocaba seguido. 2) No poda permitir que se me fuera la cordura antes que el tren. Negacin de: Poda permitir que se me fuera la cordura antes que el tren. Tampoco ir a expresarle todo mi desasosiego con veintitrs palabras y nada ms. Negacin de: Ir a expresarle todo mi desasosiego con veintitrs palabras y nada ms. 3) No es cierto que no me gusten las rimas de esas poesas o que no disfrute de ellas cuando las leo. Negacin de: Me gustan las rimas de esas poesas y disfruto de ellas cuando las leo.

La negacin de proposiciones compuestas puede ser ms complicada y al final de la lectura se retomar el tema.

Conjuncin.
La conjuncin lgica es un nexo entre proposiciones, y determina que el valor de verdad de la proposicin compuesta resultante es verdadera slo cuando ambas proposiciones simples, que son relacionadas, son verdaderas. En cualquier otro caso la proposicin compuesta es falsa. La denotaremos con el smbolo ^ y si se une a las proposiciones p y q entonces su tabla de verdad es:

p^q

Lgica Simblica Marcelo Smrekar | 9

V V V F F F V F

V F F F

De todos los tipos de conjunciones del lenguaje, la conjuncin lgica hace referencia a las conjunciones propias del mismo. stas son las que unen oraciones o elementos del mismo nivel sintctico, grupo nominal o adjetivo, que son llamadas conjunciones coordinantes o coordinativas: y, ni, pero.

La conjuncin lgica dice que una oracin es verdadera si la primera es verdadera y la segunda tambin lo es simultneamente con la primera. Por ejemplo: No est lloviendo y no voy al cine.

Ser verdadera si no llueve y adems no voy al cine simultneamente. Adems las expresiones:

No est lloviendo ni voy al cine, No est lloviendo pero no voy al cine,

Son equivalentes. En todos los casos, la conjuncin propia del lenguaje une las proposiciones simples p=No est lloviendo y q=no voy al cine. Para la lgica, las tres expresiones son equivalentes y la expresin compuesta se denota p^q que ser verdadera slo cuando p sea verdadera y q tambin. Incluso, la conjuncin lgica puede estar presente en una oracin coloquial sin que haya ningn conectivo del lenguaje de los explicados representndola. Por ejemplo: Tengo jaqueca, es horrible. En este caso p=Tengo jaqueca y q=es horrible (tener jaqueca) son las proposiciones unidas por la conjuncin lgica en ste caso representada por la coma.

Ejemplos de conjunciones:

1) El fro comienza a invadirte desde la base y el agua descubri que puede colarse por el cuello de tu chaqueta que traicioneramente se transforma en canal hacia tu espalda.

Lgica Simblica Marcelo Smrekar | 10

Es la conjuncin de: p= El fro comienza a invadirte desde la base. q= el agua descubri que puede colarse por el cuello de tu chaqueta que traicioneramente se transforma en canal hacia tu espalda.

2) Sin decir palabra ni hacer ruido la llev a mi cuarto y me dorm placidamente Es la conjuncin de: p= Sin decir palabra la llev a mi cuarto. q= Sin hacer ruido la llev a mi cuarto. r= Me dorm placidamente.

3) No es casual que los generadores de ideas se revuelquen recurrentemente en las mismas perspectivas, en los mismos temas y en las diferentes maneras de ver las causas de los efectos tediosamente repetidas. Es la conjuncin de: p= No es casual que los generadores de ideas se revuelquen recurrentemente en las mismas perspectivas q= No es casual que los generadores de ideas se revuelquen recurrentemente en los mismos temas r= No es casual que los generadores de ideas se revuelquen recurrentemente en las diferentes maneras de ver las causas de los efectos tediosamente repetidas.

4) Corra muy lentamente el ao 97 en mi pequeo pueblo de la provincia de Crdoba. As, como todos sabemos que lo hace el tiempo en los pequeos pueblos. Tampoco haba gente que quisiera ir ms rpido, es un pueblo, es as. Es la conjuncin de: p= Corra muy lentamente el ao 97 en mi pequeo pueblo de la provincia de Crdoba. (As, como todos sabemos que lo hace el tiempo en los pequeos pueblos.) q= No haba gente que quisiera ir ms rpido (, es un pueblo, es as).

Lgica Simblica Marcelo Smrekar | 11

Disyuncin inclusiva.
La disyuncin v es la entidad lgica que oficia de nexo entre dos proposiciones p y q y genera una proposicin compuesta p v q cuyo valor de verdad es falso si p y q son falsas, y verdadero en cualquier otro caso. Su tabla de verdad es:

q pvq V V V F

V V V F F F V F

La disyuncin hace referencia al conectivo o del lenguaje corriente. As la proposicin No llueve o no voy al cine, ser verdad cuando al menos una de las dos aseveraciones sean ciertas. Si no llueve la proposicin compuesta es verdadera. Si no voy al cine tambin provocar que la proposicin compuesta sea verdadera. Si ambas proposiciones simples son ciertas, obviamente lo ser la proposicin compuesta. Y la nica forma que la proposicin compuesta sea falsa, es que ninguna de las dos condiciones p o q sea cierta.

La disyuncin lgica est asociada con las conjunciones disyuntivas. En el lenguaje corriente indican alternancia exclusiva: o, u, se coloca entre los trminos que indican la alternancia: Llam Pablo o Carlos. Se emplea u cuando precede a una palabra iniciada por o u ho: Lo har uno u otro. Tambin para evitar la cacofona.

Ejemplos de disyunciones inclusivas:

1) La literatura ms interesante es la de los que no desean comunicarla, o no lo saben, o no les interesa. Es la disyuncin de: p= La literatura ms interesante es la de los que no desean comunicarla.

Lgica Simblica Marcelo Smrekar | 12

q= La literatura ms interesante es la de los que no lo saben. r= La literatura ms interesante es la de los que no les interesa.

2) Es posible describir con frases, palabras o figuras literarias a la contradiccin. Es la disyuncin de: p= Es posible describir con frases a la contradiccin q= Es posible describir con palabras a la contradiccin. r= Es posible describir con figuras literarias la contradiccin.

3) Te cuestions dnde termina tu ser, si en el cemento que te resulta tan familiar o en la suela que en definitiva llevs con vos. Es la disyuncin de: p= Te cuestions si tu ser termina en el cemento que te resulta tan familiar. q= Te cuestions si tu ser termina en la suela que en definitiva llevs con vos.

4) Me qued la duda si cuidar el agua era una actitud solidaria con los desamparados solamente o ella mandara bolsitas a algunos recnditos pases africanos. Es la disyuncin de: p= Me qued la duda si cuidar el agua era una actitud solidaria con los desamparados solamente. q= Me qued la duda si ella mandara bolsitas a algunos recnditos pases africanos

Disyuncin excluyente.
La disyuncin excluyente se refiere al conectivo que oficia de nexo entre dos proposiciones, generando que el valor de verdad de la proposicin compuesta sea verdadero, cuando los valores de verdad de las proposiciones unidas, sea diferente. Es decir que cuando ambas

Lgica Simblica Marcelo Smrekar | 13

proposiciones son verdaderas o ambas falsas, la disyuncin es falsa. Y cuando una de las proposiciones es verdadera y la otra falsa, entonces la disyuncin es verdadera. Su tabla de verdad es:

q pq F V V F

V V V F F F V F

Como antes, la disyuncin lgica excluyente est asociada con las conjunciones disyuntivas en el lenguaje corriente e indican alternancia excluyente: o, u, se coloca antepuesto a cada uno de los trminos: O llam Pablo o Carlos. Se emplea u cuando precede a una palabra iniciada por o u ho: O bien lo har uno u otro, tambin para evitar la cacofona. Corresponde a las expresiones del tipo p q.

Ejemplos de disyunciones excluyentes:

1) O Rigoberto est con nosotros, o maana lo tenemos almorzando con la Chiqui. Es la disyuncin excluyente de: p= Rigoberto est con nosotros. q= Maana lo tenemos almorzando con la Chiqui.

2) O bien nos tomamos vacaciones en enero o bien lo hacemos en febrero. Es la disyuncin excluyente de: p= Nos tomamos vacaciones en enero. q= Nos tomamos vacaciones en febrero.

3) Las polticas pblicas se evalan desde la mirada institucional o se evalan desde la mirada opuesta. Es la disyuncin excluyente de: p= Las polticas pblicas se evalan desde la mirada institucional.

Lgica Simblica Marcelo Smrekar | 14

q= Las polticas pblicas se evalan desde la mirada opuesta. A lo institucional.

Condicional.
El condicional lgico => es un conectivo que conecta dos proposiciones (simples o compuestas) llamadas antecedente y consecuente. La proposicin p =>q se lee Si p, entonces q y su tabla de verdad es:

q p=>q V F V V

V V V F F F V F

Es interesante notar, que en el condicional, el orden de las proposiciones cobra importancia. No era sta una cuestin para la disyuncin o la conjuncin que eran simtricas, respecto al orden de las proposiciones que las componan. En este caso q =>p y p =>q, no son equivalentes ya que no tienen la misma tabla de verdad.

El condicional est asociado a los razonamientos. Este concepto se introduce ms adelante por lo que no haremos nfasis en l por ahora. A su vez, el condicional puede confundirse con la implicacin, pues a un condicional verdadero se le llama implicacin (notar que esto excluye solamente a la situacin donde el antecedente es verdadero y el consecuente falso). Retomaremos estos conceptos en unidades posteriores.

Ejemplos de Condicional:

1) Si compran el paquete turstico entero, visitan entonces esas provincias ignotas. Es el condicional de: p= (Ellos) Compran el paquete turstico entero q= (Ellos) Visitan esas provincias ignotas.

Lgica Simblica Marcelo Smrekar | 15

2) Un agnstico entonces, les concede a los religiosos que es necesaria esta operacin imposible de demostrar la inexistencia. Es el condicional de: p= Si esta persona es agnstica. q= Esta persona le concede a los religiosos que es necesaria esta operacin imposible de demostrar la inexistencia.

3) Si no funciona eso de la guardia baja, entonces es que no vale la pena seguir la discusin. Es el condicional de: p= No funciona eso de la guardia baja. q= No vale la pena seguir la discusin.

4) Si nada de lo que decimos es por fanatismo, entonces estamos en una posicin mucho ms fuerte para debatir. Es el condicional de: p= nada de lo que decimos es por fanatismo. q= estamos en una posicin mucho ms fuerte para debatir. . 5) cuando tu zapato est roto y se te moja el calcetn entonces te disocias de tu zapato izquierdo. Es el condicional de: p= tu zapato est roto y se te moja el calcetn q= te disocias de tu zapato izquierdo.

6) Ambos aspectos han hecho posible un tiempo de paz y de avance de la justicia social hacia una sociedad ms igualitaria como el que afortunadamente nos toca vivir hoy a los argentinos. Es necesario entonces el urgente esclarecimiento de los hechos y la actuacin imparcial de la Justicia de Formosa, adems de la pacificacin inmediata del lugar y el irrestricto respeto de los derechos humanos de los miembros de la comunidad qom. Es el condicional de:

Lgica Simblica Marcelo Smrekar | 16

p= Ambos aspectos han hecho posible un tiempo de paz y de avance de la justicia social hacia una sociedad ms igualitaria como el que afortunadamente nos toca vivir hoy a los argentinos. q= Es necesario el urgente esclarecimiento de los hechos y la actuacin imparcial de la Justicia de Formosa, adems de la pacificacin inmediata del lugar y el irrestricto respeto de los derechos humanos de los miembros de la comunidad qom.

7) Si el actual escenario poltico no es el mismo que nos convoc en el 2008, entonces es el momento de repensarnos y rever dnde estamos, por qu y para qu estamos y qu lugar queremos ocupar. Es el condicional de: p= El actual escenario poltico no es el mismo que nos convoc en el 2008. q= Es el momento de repensarnos y rever dnde estamos, por qu y para qu estamos y qu lugar queremos ocupar.

8) Si haba cosas con las que yo no estaba de acuerdo y entonces solamente podramos coincidir llegada la noche. Es el condicional de: p= Haba cosas con las que yo no estaba de acuerdo. q= solamente podramos coincidir llegada la noche.

Bicondicional.
El bicondicional representa (como su nombre lo indica) un condicional en doble sentido simultneamente. Podemos pensar que cuando decimos p<=>q, estamos refirindonos a la expresin q =>p ^ p =>q. La tabla de verdad indica que el bicondicional es verdadero, cuando ambas proposiciones tienen el mismo valor de verdad. p Q pq V V F F V F V F V F F V

Lgica Simblica Marcelo Smrekar | 17

En el caso de estar en presencia de la proposicin compuesta p<=>q diremos p si y slo si q p es necesario y suficiente para q o de forma resumida p sii q, resumimos si y slo si con un si con doble i sii.

El bicondicional es utilizado para comparar proposiciones y determinar equivalencias por ejemplo. Volveremos sobre el tema. Ejemplos de Condicional:

9) Optaremos por un desarraigo violento si y slo si se vieran afectados los derechos de los usuarios Es el bicondicional de: p= Optaremos por un desarraigo violento. q= Se ven afectados los derechos de los usuarios.

10) Reuniremos a nuestra tropa detrs del espign, a resguardo de la caballera enemiga siempre que, y slo en ese caso, la falange de la posicin dominante sea derrotada. Es el condicional de: p= Reuniremos a nuestra tropa detrs del espign, a resguardo de la caballera enemiga. q= La falange de la posicin dominante es derrotada.

11) Que tenga antecedentes genticos es condicin necesaria y suficiente para desarrollar este tipo de enfermedades Es el bicondicional de: p= El tiene antecedentes genticos q= El desarrolla este tipo de enfermedades

Lgica Simblica Marcelo Smrekar | 18

1.4- Simbolizacin de expresiones del lenguaje corriente.

Una vez establecidas las proposiciones y sus nexos, es cuestin de aplicar las reglas que aprenderemos. Pero tal vez, la mayor dificultad que se presente, sea traducir los conceptos del lenguaje corriente al lenguaje de la Lgica. En Matemtica, por ejemplo, se resuelven complicados problemas de la vida cotidiana a travs de modelos matemticos. Estos modelos son expresiones formales de los problemas. Es necesario entonces expresar los problemas cotidianos en un idioma formal. No es suficiente con explicar el problema como lo haramos con un amigo. Necesitamos escribir el problema, en por ejemplo el idioma lgico, dado que Este lenguaje no deja lugar a dudas ni a ambigedades.

Para poder resumir en lenguaje lgico, es necesario considerar si las proposiciones son del mismo nivel argumental, o si estn determinando algn nivel de causa-consecuencia. En el primero de los casos estarn unidas por una disyuncin o conjuncin, en el ltimo, por un condicional.

A continuacin le presentaremos algunos ejemplos de traduccin al lenguaje formal:

Ejemplo 1: Se tiene la siguiente proposicin compuesta:Hoy es domingo y tengo que estudiar Estadstica o no aprobar el curso

Al separar la proposicin en sus partes esenciales se tiene lo siguiente. Sea: p= Hoy es domingo, q= tengo que estudiar Estadstica, r= aprobar el curso, r = no aprobar el curso,

Lgica Simblica Marcelo Smrekar | 19

Lo que en lenguaje simblico equivale a

p^q v r

Ejemplo 2: Se tiene la siguiente frase: Si no pago la luz, entonces me cortarn la corriente elctrica. Pero si pago la luz, entonces me quedar sin dinero y pido prestado, entonces no podr pagar la deuda, si y slo si soy desorganizado Donde: p = pago la luz, q = me contarn la corriente elctrica, r = me quedar sin dinero, s = pedir prestado, t = pagar la deuda, w = soy desorganizado.

Lo que en lenguaje simblico equivale a:

(p =>q)^ (((p =>(r^s))=>t)w)

Ejemplo 3: Se tiene la siguiente frase: Tamm crea lo que oa porque ese problema pertenece a una rama muy especial de las Mtemticas superiores y el conocimiento de tal problema est reservado para aquellas personas que entienden un rea muy sofisticada de la ciencia. Donde: p = Tamm crea lo que oa porque ese problema pertenece a una rama muy especial de las Mtemticas,

Lgica Simblica Marcelo Smrekar | 20

q = Tamm crea lo que oa porque el conocimiento de tal problema est reservado para aquellas personas que entienden un rea muy sofisticada de la ciencia,

Lo que en lenguaje simblico equivale a:

p ^q

Ejemplo 4: Se tiene la siguiente frase: Andr Gallimard, miembro de la resistencia francesa, sobreviviente de Struthof-Natzweiler, busca una mujer que am. No sabe su nombre, pero la llama Pauline. No conoce su tono de voz pero lo imagina estridente y dulce. La conoci con el silencio reglado, el alambre de pas, la separacin por sexo. Inventaron un lenguaje de gestos mnimos, movimientos de mano, guios, miradas clandestinas. Donde: p = Andr Gallimard es miembro de la resistencia francesa. q = Andr Gallimard es sobreviviente de StruthofNatzweiler. r = Andr Gallimard busca una mujer que am. s =Andr Gallimard no sabe el nombre de la mujer. t = Andr Gallimard llama a la mujer Pauline. w =Andr Gallimard No conoce su tono de voz. x= Andr Gallimard imagina el tono de voz de ella estridente. y= Andr Gallimard, imagina el tono de voz de ella dulce. u= l la conoci con el silencio reglado. v=l la conoci con el alambre de pas. z=l la conoci con la separacin por sexo. l=Ellos Inventaron un lenguaje de gestos mnimos.

Lgica Simblica Marcelo Smrekar | 21

m=Ellos Inventaron un lenguaje de movimientos de mano. n=Ellos Inventaron un lenguaje de guios. o=Ellos Inventaron clandestinas. Lo que en lenguaje simblico equivale a: p^q ^ r^ s^t^ w^x^ y^ u^ v^ z^l^m^ n^ o un lenguaje de miradas

Ejemplo 5: Se tiene la siguiente frase: Formspring es una red social de preguntas y respuestas. Si quers hacerme alguna, pods enviarla directamente desde este formulario. Donde:

p = Formspring es una red social de preguntas y respuestas. q = Si quers hacerme alguna pregunta. r = pods enviarla directamente desde este formulario.

Lo que en lenguaje simblico equivale a: p ^ (q =>r)

Ejemplo 6: Ejercicio: Se anima a traducir a Borges? El siguiente es un fragmento de El impostor inverosmil Tom Castro: Agreg que era hijo de una planchadora del pueblo, Mara Clementina Funes, y que algunos decan que su padre era un mdico del saladero, un ingls OConnor, y otros un domador o rastreador del departamento del Salto.
Jorge Luis Borges Fragmento de El impostor inverosmil Tom Castro, Historia Universal de la infamia - Editorial Alianza Editorial - Coleccin El libro de bolsillo - Quinta Reimpresin: Abril de 2001.

Lgica Simblica Marcelo Smrekar | 22

1.5- Tablas de verdad.

Como seguramente el lector estar intuyendo, las proposiciones en Lgica se evalan a travs de su valor de verdad. Por esta razn estamos interesados en ver cules son los valores de verdad posibles de las proposiciones, no slo las simples sino de complejas proposiciones compuestas. Para ello es cmodo valerse (como lo venimos haciendo) de tablas donde expresar el valor de verdad de una proposicin compuesta en funcin del valor de verdad de las proposiciones simples que la componen. Las tablas de verdad son tablas con tantas columnas como proposiciones ms conectivos tenga la proposicin compuesta y tantas filas como combinaciones de valores de verdad de las proposiciones simples haya.

Como ejemplo pensemos en la proposicin p su tabla de verdad estar expresada por: p V F

Y, como vimos, la tabla de verdad de p v q es:

q pvq V V V F

V V V F F F V F

En la tabla de p hay dos filas porque p puede tener dos valores de verdad, en la de p v q hay 4 filas porque hay 4 posibilidades. Ambas verdaderas, ambas falsas, y dos veces verdadero y falso. Siempre tendremos 2 n combinaciones cuando hay n proposiciones simples.

En el caso del Ejemplo 3 de la seccin anterior, cuya respuesta es la proposicin p^q^(r v s). Si realizamos la tabla de verdad de esta proposicin compuesta tendremos:

Lgica Simblica Marcelo Smrekar | 23

r v s p^q^(r v s) V V V F V V V F V V V F V V V F V V V F F F F F F F F F F F F F

V V V V V V V F V V V V V F V F V F V F F V F F

V V V F F V F F

F V V V F V V F F V F V F F F F F F F F F V F F

V V V F F V F F

Y podremos notar que no es la misma tabla de verdad que la de la proposicin (p^q^r) v s que est dada por:

p^q^r (p^q^r) v s V V V F F F V V V F V F

V V V V V V V V V V V V F V F F F F V F

V V V F

Lgica Simblica Marcelo Smrekar | 24

V F V F

F F

V F

F F F F F F F F F F

V F V F V F V F V F

F V V V F V V F V F V F F F F F F F F F F F V F

V V V F F F V F

Por lo tanto, vemos que la jerarqua de los conectivos es importante y que no resulta lo mismo asociar de diferente manera cuando hay ms de un conectivo.

1.6- Tautologa, Contradiccin y Contingencia.

Podemos clasificar a las proposiciones compuestas de acuerdo a los valores de verdad posibles de las mismas.

Tautologa.
Diremos que una proposicin compuesta es una tautologa si la proposicin es verdadera independientemente del valor de verdad de las proposiciones simples intervinientes. Por ejemplo, la proposicin p v p es una tautologa dado que si p es verdadera entonces p es falsa y la disyuncin es verdadera y es similar para p falsa. Es lo mismo que decir que una proposicin es Verdadera o de lo contrario es Falsa, sentencia que es siempre verdadera. La tabla de verdad es:

Lgica Simblica Marcelo Smrekar | 25

p p pvp V F F V V V

Otro ejemplo de tautologa es ((p =>q) ^ (q =>p))( p q) cuya tabla de verdad es:

(p =>q)^ (q =>p) V F V V V F F V V V F V

V V V V

( pq) V F F V

pq F V V F

V V V F F F V F

Como vemos, la columna correspondiente al nexo de mayor jerarqua tiene todas las opciones verdaderas y por lo tanto la proposicin compuesta es verdadera independientemente del valor de verdad de p y de q.

Lgica Simblica Marcelo Smrekar | 26

Las tautologas son en cierta manera leyes, puesto que son siempre verdaderas. Algunas de las leyes ms conocidas son:

Contradiccin.
1) Principio de Identidad p p, 2) Principio de no contradiccin (p^p) 3) Principio del tercero excluido pvp 4) Doble negacin pp 5) Idempotencia de la conjuncin pp^p 6) Idempotencia de la disyuncin ppvp 7) Ley conmutativa para la conjuncin p^qq^p 8) Ley conmutativa para la disyuncin pvqqvp 9) Ley asociativa para la conjuncin p^(q^r)(p^q)^r 10) Ley asociativa para la disyuncin pv(qvr)(pvq)vr

Una contradiccin es justamente lo contrario de una tautologa. Es una proposicin compuesta que es falsa independientemente de los valores de verdad de las proposiciones simples que la componen. Se puede decir que una contradiccin es la negacin de una tautologa. Como ejemplos podemos ver que p^p es una contradiccin ya que no es posible que una proposicin sea verdadera y falsa a la vez. La tabla de verdad es:

p V F

p p^p F V F F

Por otra parte (((p=>q)^(q=>p))(pq)) es una contradiccin porque es la negacin de la tautologa evaluada en el apartado anterior. Por

Lgica Simblica Marcelo Smrekar | 27

lo tanto, para todas las posibilidades de valores de verdad de p y de q se tendr que la proposicin compuesta es falsa.

Contingencia.
Como se intuye, contingencia es una proposicin compuesta, cuyo valor de verdad depende de los valores de verdad de las proposiciones simples que la componen. Casi todas las proposiciones compuestas son contingencias. Tambin podramos definirlas como las proposiciones que no son tautologas ni contradicciones. Como ejemplos de contingencia podemos citar p^q, pvq, pq, p=>q, pq, y cualquiera de las proposiciones que tengan tablas de verdad con verdadero y falso como posibilidades.

1.7- Equivalencias Lgicas.

Diremos que dos proposiciones son equivalentes, si unidas por un bicondicional forman una tautologa. Por ejemplo, la proposicin compuesta ( pq) es equivalente a pq, puesto que si unimos ambas con un bicondicional, tendremos una tautologa:

q (pq) ( pq) pq V F F V V V V V V F F V F V V F

V V V F F F V F

Un ejemplo en el lenguaje cotidiano, indicara que es lo mismo decir "no es verdad que o vayamos al cine o vayamos al parque" que decir "vamos al cine si y slo si vamos al parque". Entonces estamos diciendo que o bien vamos a ambos lados y en ese caso cada proposicin simple es verdadera, o bien no vamos a ninguno de los dos lados y en ese caso ambas proposiciones simples seran falsas. Como ambas proposiciones siempre van a tener el mismo valor de verdad en funcin de las proposiciones simples que componen sendas compuestas se tiene que son equivalentes.

Lgica Simblica Marcelo Smrekar | 28

1.8- El condicional.
Estudiaremos en detalle el condicional puesto que ser de importancia en las unidades posteriores. Este conectivo, puede presentarse de diversas formas. La forma corriente que es la que vimos y refiere a las situaciones donde decimos:

Si voy al cine entonces llegar tarde.

Sea p=Voy al cine. y q=Llegar tarde. Entonces la proposicin enunciada se resume p=>q

Recproca.
La recproca de la proposicin del ejemplo planteado para el condicional, es la proposicin q=>p. Que sera "llegar tarde, entonces voy al cine". Notemos que es claro que siendo p=>q verdadera, no siempre q=>p, puesto que eso pasara solamente si ambas (p y q) fueran falsas o verdaderas. Pero si p es falsa y q verdadera, es decir que no fui al cine, pero llegu tarde de todos modos. En ese caso el condicional es verdadero puesto que no falt a la verdad al decir que llegara tarde si iba al cine, no fui al cine, entonces no podemos comprobar si hubiera llegado tarde o no y en ese caso al no haber comprobado la falsedad, podemos aceptar la veracidad de la proposicin.

Pero la recproca no puede ser cierta ya que sera, "si llego tarde entonces voy al cine" y llegu tarde pero no fui al cine. En resumen, si un condicional es verdadero su recproco puede no serlo. Es decir que el condicional y su recproco no son equivalentes.

Contraria
Por el contrario decir "No llegar tarde entonces no ir al cine resumido en q=>p es equivalente a la proposicin inicial p=>q. Puesto que al decir que no llegar tarde implica necesariamente que no ir al cine significa que si hubiera ido al cine necesariamente tendra que llegar tarde. Esto se puede ver mejor en la tabla de verdad que se encuentra al final de la seccin.

Lgica Simblica Marcelo Smrekar | 29

Contrarrecproca.
La contrarrecproca de p=>q es p=>q. Este condicional es equivalente a la recproca pero no es equivalente ni a la proposicin inicial ni a la contraria. En este caso estamos diciendo que " si no voy al cine entonces no llegar tarde. Eso no significa que de ir al cine vaya a llegar tarde como dice la proposicin condicional original. Por lo tanto no es equivalente a sta. Estas conclusiones se pueden corroborar viendo la tabla de verdad que se muestra a continuacin con todas las opciones:

p=>q q=>p q=>p p=>q V F V V V V F V V F V V V V F V

V V V F F V F F

La tabla anterior muestra cmo el condicional es equivalente a la contraria, y la recproca es equivalente a la contrarrecproca. Tambin se puede ver que los dos grupos no son equivalente entre s.

1.9- Leyes de De Morgan.

Las leyes de De Morgan relacionan la disyuncin y la conjuncin a travs de la negacin. Podemos mencionar una ley de De Morgan para la disyuncin y otra para la conjuncin. A saber:

p^q (p v q) pvq (p ^ q)

Ambas proposiciones (que se agregan a la lista de leyes) son tautologas. En lenguaje corriente sera lo mismo decir voy al cine y llego tarde que No es cierto que no vaya al cine o que no llegue tarde. Y las tablas de verdad indican que efectivamente las proposiciones sealadas forman una tautologa:

Lgica Simblica Marcelo Smrekar | 30

q p^q qvp (qvp) (pvq) V F V V V V F V V F V V V V F V

V V V F F F V F

p=>q q=>p q=>p p=>q V F V V V V F V V F V V V V F V

V V V F F V F F

Las leyes de De Morgan no representan un detalle menor. Indican que tanto la conjuncin como la disyuncin son operaciones entre proposiciones que se pueden definir una a travs de la otra y en ese caso se podra prescindir de una de las dos.

Negacin de proposiciones compuestas.

Negar proposiciones no debera presentar problemas. Si le ponemos un al principio de la proposicin compuesta que queramos negar lo habremos conseguido. Claro que a eso no se refiere este apartado. Aunque la oracin del principio del prrafo pareciera escrita por Perogrullo no es para pasarla por alto. Indica que la negacin de proposiciones compuestas corresponde a que la nueva proposicin tenga opuesta tabla de verdad. Por lo tanto la negacin deber hacerse de manera que el resultado final indique una proposicin con tabla de verdad opuesta. Por ejemplo, si negamos el condicional p=>q, la nueva proposicin podra ser p v q puesto que es equivalente a (p=>q) Veamos la tabla de verdad:

Lgica Simblica Marcelo Smrekar | 31

p=>q (p=>q) p v q V F V V F V F F V V V V V F V V

V V V F F F V F

Pero eso equivale a decir en vez de No es cierto que si voy al cine entonces llegue tarde la siguiente expresin: No voy al cine y llego tarde. A priori, no suena como que la segunda expresin sea la negacin de la primera, al menos hay que pensar un momento en cmo estn relacionadas. Pero de todas maneras la tabla de verdad nos asegura que la segunda es la negacin de la primera.

Lgica Simblica Marcelo Smrekar | 32

Bibliografa Lectura
Grimaldi Ralph P., "Matemticas Discretas y Combinatoria" - 1. - s/d - 2000 s/d - Argentina. Ross, K. A. y Wright Ch. R. "Matemticas Discretas" - 2. - s/d - 2000 - s/d Argentina Copi, Irving M.. Introduccin a la Lgica, Traduce Nstor Mguez. 7ma Ed. (1969) EUDEBA Fernndez Lpez, Justo Espaol coloquial http://culturitalia.uibk.ac.at/hispanoteca/Lexikon der Linguistik/c/COLOQUIAL Espaol.htm (enero de 2011)

www.uesiglo21.edu.ar

Lgica Simblica Marcelo Smrekar | 33