-1 ¿Qué es la lógica simbólica?

Todos estamos familiarizados con la lógica y con la idea de que algunas personas poseen una "mentalidad lógica" mientras que otras no. ¿Cómo podemos entonces llegar a ser lógicos? No siempre resulta sencillo seguir razonamientos o argumentos extensos para obtener conclusiones válidas. El propósito de la lógica simbólica consiste en establecer un lenguaje simbólico artificial que se pueda utilizar para simplificar los argumentos lógicos complicados El gran matemático alemán Gottfried Leibniz (1646-1716) fue el primero en concebir este planteamiento cuando a la edad de 14 años intentó reformar la lógica clásica. Leibniz llamó a la lógica simbólicacaracterística universal y escribió en 1666 que deseaba crear un método general en el cual todas las verdades de la razón serían reducidas a una especie de cálculos Al mismo tiempo, esto constituiría un tipo de lenguaje o escritura universal, pero infinitamente distinto de todos los proyectados hasta ahora, ya que los símbolos, e incluso las palabras contenidas en él, dirigirían la razón; y los errores, excepto los de facto, serían meras equivocaciones en los cálculos. Sería muy difícil formar o inventar este lenguaje o característica, pero muy fácil de entenderlo sin necesidad de diccionarios. Este sueño no se realizó hasta que el matemático inglés George Boole (1815-1864) separó los símbolos de las operaciones matemáticas de los conceptos sobre los cuales operaban y estableció un sistema factible y sencillo de lógica simbólica. En 1859, Boole expuso sus ideas en su obra An invest¿gat¡on of the Laws of Thought (Investigación de las leyes del pensamiento). Desgraciadamente, este trabajo no recibió buena aceptación. y no fue hasta que Bertrand Russell (18721970) y Alfred North White-head (186l-1947)utilizaron la

lógica simbólica en su obra Principia Matemática que el mundo de la matemática dio importancia a las ideas propuestas inicialmente por Leibniz alrededor de 250 años antes. En este libro se tratará de responder a la pregunta, ''¿Cómo podemos llegar a ser más lógicos?''. Se pretende aplicar la lógica no solamente en el trabajo formal ordinario sino también en la vida diaria. Es necesario poder comunicarse de manera inteligente con los demás; se requiere adquirir capacidad para analizar los argumentos de nuestros legisladores y dirigentes; necesitamos ser consumidores inteligentes para analizar las afirmaciones de los anunciantes. Bien sea que nos agrade o no, la lógica es una parte importante del mundo que nos rodea, y en este libro sentaremos las bases que nos ayudarán a ser más "lógicos".

PROPOSICIÓN Una proposición es una oración que es verdadera o falsa, pero no verdadera y falsa a la vez. Si la oración es una pregunta o una orden, o si es demasiado imprecisa (o carece de sentido), entonces no se puede clasificar como verdadera o falsa, así que no se llamaría proposición. EJEMPLO 1 1. Neil Armstrong caminó sobre la luna. 2. 3 + 2 7. 3. El Pato Donald es presidente. Todas estas oraciones son proposiciones, ya que son verdaderas o falsas. Por otro lado, consideremos las expresiones 4. ¡Márchate!

5. 3 + x = 7. 6. ¿Qué estás haciendo? Estas no son proposiciones en virtud de la definición dada, ya que no se pueden clasificar satisfactoriamente como verdaderas o falsas. Pueden surgir dificultades al simplificar argumentos debido a su extensión, a la imprecisión de las palabras que se utilizan, al estilo literario, o al posible impacto emocional de las palabras de que constan. Consideremos los dos argumentos siguientes. 1.-Si George Washintong fue asesinado, está muerto. Por lo tanto,si está muerto, fue asesinado. 2.- Si consumes heroína, primeramente consumiste marihuana. Por lo tanto, si consumes heroína. primero consumiste marihuana,

Lógicamente, estos dos argumentos son exactamente iguales, y ambos son formas no válidas de razonamiento. Casi todo mundo admitiría que el primer argumento es absurdo, pero muchos aceptan el segundo argumento debido al aspecto emocional de las palabras empleadas en él. Para evitar estas dificultades y ayudar a la simplificación de los argumentos lógicos complicados, puede establecerse el lenguaje simbólico artificial a que nos referimos anteriormente. El lenguaje que se inventa aquí es necesariamente más simple que cualquier lenguaje natural; es una especie de taquigrafía notacional. Se denotan las proposiciones simples con literales, tales como p, q, r, s,..., y luego se definen ciertos conectivos.

Nuestra meta, en la medida en que sea posible, consiste en 1. traducir las proposiciones del lenguaje ordinario a la forma simbólica 2. simplificar la forma simbólica. 3. traducir la forma simplificada de nuevo a proposiciones del lenguaje ordinario. Para los fines de este libro, se supondrá que la traducción en un sentido y en otro entre el lenguaje ordinario y el simbólico se puede efectuar de manera sencilla. En realidad, no siempre sucede así, desafortunadamente. El lenguaje ordinario puede tener relaciones sutiles que sobrepasan el significado exacto de las palabras de una oración simple. Se deben tener presentes las interpretaciones que se dan a los símbolos de un problema particular. Al traducir, debemos preguntarnos qué significa la oración en el lenguaje natural, y luego se debe tratar de encontrar una proposición en lenguaje simbólico que tenga, hasta donde sea posible, el mismo significado. Se puede evitar el problema de la extensión considerando solamente proposiciones simples unidas por ciertos conectivos bien definidos, tales como no, y, o, ni... ni, si... entonces, a menos que, debido a que, y así sucesivamente. Una proposición compuesta se forma combinando proposiciones simples con operadores, o conectivos. De la definición básica de proposición, vemos que el valor de verdad de cualquier proposición puede ser o verdadero (T) o falso (F). VALOR DE El valor de verdad de una proposición simple puede ser verdadero (T) o bien falso (F).

1.3 Conjunción Si p y q representan dos proposiciones simples, entonces la proposición compuesta "p y q" utiliza el operador llamado conjunción. La palabra y se simboliza con . Por ejemplo, la proposición Tengo una moneda de l000 pesos en mi bolsillo y tengo una moneda de5000 pesos en mi bolsillo. es una proposición compuesta. ¿Cuándo será verdadera esta proposición? Existen cuatro posibilidades concretas: 1. Tengo una moneda de 1000 pesos en mi bolsillo. Tengo una moneda de 5000 pesos en mi bolsillo. 2. Tengo una moneda de 1000 pesos en mi bolsillo. No tengo una moneda de 5000pesos en mi bolsillo. 3. No tengo una moneda de 1000 pesos en mi bolsillo. Tengo una moneda de 5000pesos en mi bolsillo. 4. No tengo una moneda de 1000 pesos en mi bolsillo. No tengo una moneda de 5000 pesos en mi bolsillo. Representemos con p y q las proposiciones simples, de manera que: p: Tengo una moneda de 1000 pesos en mi bolsillo. q: Tengo una moneda de 5000 pesos en mi bolsillo.

Tengo una moneda de 1000 pesos en mi bolsillo.Estas cuatro posibilidades se pueden resumir como sigue: p q T T T F F T F F Vemos que la única ocasión en que la proposición original. 1. resulta falsa Así que definimos q según la Tabla 1. Por ejemplo. Tabla 1 DEFINICIÓN DE pq TT TF FT p T F F F las q CONJUNCIÓN F F Es importante notar que no se requiere que proposiciones p y q estén relacionadas. resulta verdadera es cuando p y q son ambas verdaderas. y tengo una moneda de 5000 pesos en mi bolsillo.4 Disyunción . de lo contrario. Los peces nadan y Neil Armstrong caminó sobre la luna es una proposición compuesta verdadera.

s: Juan está en España. denotado por V. Por otro lado. Juan parece afirmar que por lo menos una de las proposiciones es verdadera.El operador o. r: Juan está en Rusia. Si p y q son dos proposiciones. Estoy en Rusia o en España. Tengo una moneda de 1000 pesos o una de 5000 en mi bolsillo. pero quizás ambas sean verdaderas. la intención de la proposición II es que una y sólo una de las proposiciones es verdadera. Juan no tendría la intención de decir que se encuentra a la vez en Rusia y en España. En la proposición I. Sean p: Juan tiene una moneda de 1000 pesos en su bolsillo. y para determinar su veracidad o falsedad. se llama disyunción. como puede verse considerando los ejemplos siguientes. q: Juan tiene una moneda de 5000 pesos en su bolsillo. El significado de esta palabra es ambiguo cuando se la utiliza en el lenguaje cotidiano. Ahora Juan formula las dos proposiciones: I. consideremos de nuevo las cuatro posibilidades para determinar si Juan dijo la verdad en su afirmación . a p V q se le llama disyunción. II. Por lo tanto. La proposición 1 ilustra uno de los usos del conectivo o que se llama o incluyente y se denota por V. Consideraremos la intención de estas proposiciones. debe considerarse la veracidad o falsedad de p y q.

Tengo una moneda de 1000 pesos o una de 5000 en mi bolsillo Caso 1 (" es T. En este caso diríamos que Juan ha mentido y decimos que su afirmación es falsa. Juan tiene una moneda de 5000 pesos en su bolsillo. Juan no tiene una moneda de 5000 pesos en su bolsillo. Juan no tiene una moneda de 5000 pesos en su bolsillo. así que se expresa que la proposición compuesta también es verdadera. q es T): Juan no tiene una moneda de 1000 pesos en su bolsillo. q es T): Juan tiene una moneda de 1000 pesos en su bolsillo. En estas condiciones no diríamos que Juan es mentiroso. q es F): Juan tiene una moneda de 1000 pesos en su bolsillo. Caso 4 ("es F. Caso 2 ("es T. Juan tiene una moneda de 5000 pesos en su bolsillo. Definición de disyunción . En los casos 2 y 3 no diríamos que Juan está mintiendo. Caso 3 ("es F. así que decimos que la proposición compuesta también es verdadera. q es F): Juan no tiene una moneda de 1000 pesos en su bolsillo. Así que definimos p V q según la tabla 2.

Si Juan está en Rusia. Por lo tanto la intención de la proposición II es Estoy o en Rusia o en España. y la proposición es verdadera si una y sólo una de las componentes separadas es verdadera. La tabla de verdad en este caso es la siguiente: rs TT TT FF FF ros F T T F En este libro utilizaremos la disyunción indicada con la o incluyente. . los de usos sus del Consideremos ahora si Juan dice la verdad al formular la aserción Estoy en Rusia o en España.Una disyunción es falsa sólo si ambas proposiciones componentes son falsas. Obviamente no es posible que Juan se encuentre en ambos lugares al mismo tiempo. si está en España. no puede estar en Rusia. se enunciará la proposición empleando el conectivo o…o. La proposición II ilustra uno de conectivo o que se llama o excluyente. Recuérdese: la o incluyentesignifica cualquiera de las dos o ambas. Si la intención de la proposición requiere la o excluyente. entonces no puede estar en España.

La Tabla 3 proporciona una definición clara de la negación. . La negación de Tengo una moneda de 1000 pesos y una de 5000 en mi bolsillo. Tabla 3 DEFINICIÓN DE LA NEGACIÓN p T F ~p F T EJEMPLO entonces 2 Si t: Octavio está diciendo la verdad. ~ t: Octavio no está diciendo la verdad. o bien. 1. pero se requiere tener cuidado con la manera en que se forme la negación de una proposición compuesta.mientras que la o excluyente significa cualquiera de las dos pero no ambas.5 Negación La negativa de cualquier proposición p se llama negación y se simboliza mediante ~p. También se puede traducir ~ t como "no ocurre que Octavio está diciendo la verdad". "no es cierto que Octavio está diciendo la verdad". Cualquier proposición puede ser negada.

EJEMPLO 3 Escribir la negación de Todos los estudiantes tienen lápices. Solución Veamos si son respuestas correctas las proposiciones "Ningún estudiante tiene lápices". entonces su negación debe ser verdadera. La negación de b es ~ b: El carro de Juan no es azul. Se debe tener cuidado al negar proposiciones que contienen las palabras todos. ninguno. Al negar una proposición.se simboliza mediante (p q) y se traduce como No es cierto que tengo una moneda de 1000 pesos y una de 5000 en mi bolsillo. La proposición c no es la negación de la proposición b. La negación no se forma denegando cada una de las proposiciones simples. Recuérdese que si una proposición es falsa. La negación correcta es No todos los estudiantes tienen lápices. o bien . sean b: El carro de Juan es azul. o bien "Todos los estudiantes carecen de lápices". c: El carro de Juan es rojo. o algunos. Por ejemplo. no se debe alterar dicha proposición. y la negación de c es la proposición ~ c: El carro de Juan no es rojo. aunque no pueda ser que ambas sean verdaderas.

c: Claudia es atractiva. se puede traducir como sigue. la palabra algunos se emplea en el sentido de "por lo menos unos". Sean b: Bertha es atractiva.Por lo menos un estudiante no tiene lápiz. Por ejemplo. La Tabla 4 proporciona algunas de las negaciones comunes. 1. la proposición Bertha y Claudia son atractivas. Entonces tenemos que . En matemáticas. o bien Algunos estudiantes no tienen lápices.6 Traducción y combinación de conectivos El trabajar con los argumentos lógicos requiere la aptitud de traducirlos del lenguaje ordinario al simbólico y del simbólico de nuevo al lenguaje ordinario.

EJEMPLO 6 Supongamos que: p: Como espinacas. Por consiguiente. EJEMPLO 5 Traducir la proposición compuesta O Bertha es atractiva o Claudia es atractiva. p v q. Obsérvese que en este ejemplo se emplean los paréntesis exactamente como en álgebra: para indicar el orden de las operaciones. a la forma simbólica. Se desea traducir lenguaje ordinario: a... sino que también de los símbolos lógicos al lenguaje ordinario. Solución Vemos que el conectivo o. (b c) significa la negación de la proposición b y c. q: Estoy fuerte. La proposición se traduce en la forma (b V c) [~(b c)].b c Bertha es atractiva y Claudia es atractiva. o se traduce como la o excluyente. p q d. las siguientes proposiciones al . No solamente se requiere traducir del lenguaje ordinario a los símbolos lógicos. pero no ambas. así que b c es la proposición simbólica. La oración se puede reescribir como Bertha es atractiva o Claudia es atractiva.

TABLA DE VERDAD CORRESPONDIENTE p q p T T T T F F q pVq ~p ~ q T T F F F T .(~q) c. No como espinacas. p q Solución Traducciones serían las siguientes: a. e.~ (p V p) f. desde luego. No como espinacas. No es cierto que como espinacas o que estoy fuerte. d. No es cierto que no estoy fuerte [lo que significa.b. ~ p e. Como espinacas y no estoy fuerte. Como espinacas y estoy fuerte. b. c. que estoy fuerte]. f. o estoy fuerte.

Entonces la proposición se puede escribir (~ p) (~ q). q: Alfredo recogió su dinero.A LOS CONECTIVOS FUNDAMENTALES F T F F F F T F T T F T EJEMPLO 1 Construir proposición compuesta: la tabla de verdad de la Alfredo no vino anoche y no recogió su dinero. se enumeran todas las combinaciones posibles de valores de verdad de las proposiciones simples p y q. Para empezar. Solución Sea p: Alfredo vino anoche. p q ~ ~ p q T T F T F F F T T F F T F T F T . p q T T T F F T F F Luego se incluyen los valores de verdad de ~ p y ~ q.

y luego se comparan las columnas ~ p y ~ q según la definición de conjunción para encontrar los valores de verdad de (~ p) (~ q). Para realizar esto. como se indica mediante las flechas: Conjunción p q ~ p ~ q ( ~ p) TTF F F TFF T F FTT F F FFT T T ( ~ q) Comparar estos valores con la definición de conjunción para obtener los valores de que consta la última columna. EJEMPLO 2 Construir la tabla de verdad de ~ ( ~ p ) Solución Empezamos con p: P T F En seguida se anotan los valores de p de acuerdo con la definición de la negación: p ~ p T F . se anotan los valores de verdad de (~ p) (~ q). se marca una columna "(~ p) (~ q)" en la parte superior.Por último.

Úsese la definición de negación para todos los valores de verdad de dicha columna. Esto significa que la doble negación de una proposición es igual a la proposición original T F ( p . Las flechas muestran cómo se obtienen los elementos de esta columna. se anotan los valores de ~ ( ~ p).F T Por último. una puede reemplazar a la otra en cualquier expresión lógica.P) Examínese esta columna. Nótese que ~ ( ~ p) y p tienen los mismos valores de verdad. negación p ~ ~ p ~ ) T F F T t t~(T. Si dos proposiciones tienen los mismos valores de verdad.

Se utiliza la columna C y la definición de negación para anotar los valores de la columna D. Primeramente se tienen en cuenta los paréntesis. junto con la definición de conjunción. . fijando la atención solamente en dos columnas a la vez (véase en la Tabla 5 cómo obtener los valores correctos). Paso 1. para anotar los valores de la columna C. Paso 2.LEY DE LA DOBLE NEGACIÓN ~ ( ~ p) se puede reemplazar por p en cualquier expresión lógica. EJEMPLO 3 Construir una tabla de verdad para determinar cuándo es verdadera la siguiente proposición: ~ (p q) [(p V q) q] Solución Se empieza como antes y se hace un recorrido de izquierda a derecha. Se examinan las columnas A y B que se indican a continuación.

Esto es. es decir. Se utilizan las columnas A y B y la definición de disyunción para anotar los valores de la columna E. Considérese el ejemplo siguiente que ilustra los diferentes sentidos de la condicional. y q se denomina conclusión o consecuente. que son las partes izquierda y derecha de la operación final. Se utilizan las columnas D y F. p se llama hipótesis o antecedente.Paso 3. Paso 5. en el lenguaje común utilizamos el conectivo si-entonces en varias formas. una en la que el consecuente se deduce lógicamente del antecedente: . La situación de la condicional es semejante a la que se encontró en el caso de la palabra o. Se emplean las columnas E y B y la definición de conjunción para anotar los valores de la columna F.1 Si – Entonces La proposición "si p. Se simboliza por medio de p q. Se puede utilizar si-entonces para indicar una relación lógica. 1. y [a definición de conjunción para obtener los valores de la columna G ABC pqp TTT TFF FTT FFF D q ~(p F T T F E q) p T T T F F G ( p V~ p q) [ ~ q q) q pVq) q] T F F F T T F F LA CONDICIONAL 3. entonces q" se llama condicional. Paso 4.

5. Nuestra tarea consiste en tratar de idear una definición de la condicional que se aplique en todos estos tipos de proposiciones de la forma si-entonces. Se puede emplear si-entonces para indicar una relación de causa: Si Juan deja caer esa piedra.Si ~(~ p) tiene el mismo valor de verdad que p. entonces lo golpearé. El consecuente es obviamente falso y la persona que habla desea poner énfasis en que el antecedente también es falso. Se puede usar si-entonces para comunicar una decisión de parte de la persona que habla: Si Juan me lanza esa piedra. entonces p puede reemplazar a ~ (~ p) 2. entonces me golpeará el pie. 3. de causa o de definición. Por último. Plantearemos el problema preguntando en qué circunstancias una condicional dada sería falsa. A menudo se utiliza en forma humorística o enfática: Si Juan obtuvo la máxima nota en ese examen. 4. Se puede utilizar si-entonces cuando el consecuente se deduce del antecedente por la propia definición de las palabras empleadas: Si Juan conduce un Oldsmobile. se puede emplear si-entonces para efectuar una implicación material A veces la condicional se usa cuando no hay una relación lógica. entre el antecedente y el consecuente. . entonces yo soy tío de un mono. Consideremos otro ejemplo. entonces Juan guía un automóvil.

Sean p: Gana el concurso. si la incumple. O bien p q es verdadera siempre que p (q) sea falsa ( ~ q) sea se simboliza con p q. La promesa posibilidades: pq Caso 1 T T Gana el concurso. Esto proviene del caso 2. q: Te dará 10 000 pesos. no dará 10 000 pesos ¿Cuándo se habrá quebrantado la promesa? La única ocasión en que se puede decir que ello ha ocurrido es en el caso 2. dará 10 000 pesos. Hay cuatro Esto equivale a decir que p q es verdadera siempre que ~ [ p verdadera. En símbolos.Supongamos que una persona le hace una promesa a otra. La prueba de una condicional consiste en determinar cuándo es falsa." Si cumple su promesa. Caso 2: T F Gana concurso. ( ~ q)] es . "Si gano el concurso. decimos que es falsa. Caso 3: F T No gana el concurso. entonces te daré 10 000 pesos. p q es falsa siempre que p verdadera. decimos que la proposición es verdadera. no dará 10 000 pesos. Caso 4: F F No gana el concurso. dará 10 000 pesos.

entonces 7 + 10 = 15. entonces 7 + 2 < 14 + 2. Esta es una proposición verdadera.Construyamos una tabla de verdad para ~ [ p pq~q~p (~ q) [ p ( ~ p)] (~ q)]. ya que ambas componentes son también verdaderas. p q p Tabla 7 DEFINICIÓN DE LA CONDICIONAL T T T T F F F T T F F T Los ejemplos siguientes ilustran la definición de la condicional dada en la Tabla 7. TTFFT TFTTF FTFFT FFTFT Usamos esta tabla de verdad para definir condicional q. EJEMPLO 1 Caso 1: T T q la Si 7 < 14. EJEMPLO 2 Caso 2: T F Si 7 + 5 = 12. . como se muestra en la Tabla 7.

en matemáticas. Dará 10 000 pesos si gana el concurso. Esta es una proposición verdadera. 7. puesto que el antecedente es verdadero pero el consecuente es falso. la implicación completa es verdadera. Gana el concurso sólo si dará 10 000 pesos. EJEMPLO 3 Caso 3: F T Si tú tienes seis piernas. 2. sea o no verdadero el antecedente). Dará 10 000 pesos con la condición de que gane el concurso . No es necesario enunciar primero la parte si de una implicación. Dos proposiciones cualesquiera se pueden unir por medio del conectivo condicional. entonces 8 = 4. es suficiente que gane el concurso. entonces dará 10 000 pesos. no implica ninguna relación causa – efecto. El ejemplo 3 muestra que la condicional. Para que dé 10 000 pesos.Esta es una proposición falsa. 10 000 pesos. 4. 5. y el resultado debe ser T o F. 6. Todas las proposiciones siguientes tienen el mismo significado: 1. Que gane el concurso hace necesario que dé. ya que el consecuente es verdadero (y si el consecuente es verdadero. ya que ambas componentes son falsas. 3. Si gana el concurso. EJEMPLO 4 Caso 4: F F Si 16 = 8. entonces George Washintong fue presidente Verdadera. Que gane el concurso implica que dará 10 000 pesos.

Por ejemplo. 9. Dará 10 000 pesos cuando gane el concurso. si p. . Podemos ahora formular estas nueve proposiciones equivalentes en forma simbólica como sigue: 1. Así que agregamos una forma adicional a la lista: 10. al lenguaje simbólico. Daré 10 000 pesos siempre que gane el concurso. todos los p son a Traducción: Todos los patos son aves. EJEMPLO 5 Traducir la siguiente oración. entonces es un ave". entonces q p q q si p p sólo si q p es suficiente para q q es necesario para p q con la condición de que p q cuando p q siempre que p Algunas proposiciones que no estén escritas originalmente como condicionales. tomada de una forma fiscal. "Todos los patos son aves" se puede reexpresar como "Si es un pato.8. se pueden expresar en la forma si-entonces.

~ (d c) (w b) La proposición si-entonces puede tener varios significados. Posteriormente analizaremos este punto con más detalle. pero la tiene solamente uno. Se rescribe la oración. en la práctica empleamos p para representar proposiciones del lenguaje ordinario de la forma si-entonces o de implicación. Solución Paso 1. w: Completa la hoja de trabajo de la página 14. se preserva la validez de todos los argumentos válidos del tipo si entonces empleados en este libro. Si ~ d c. incluso si se ignoran los significados adicionales de la condicional. entonces complete la hoja de trabajo de la página 14y declare la partida autorizada en el renglón 34b. No obstante. Sin embargo. . Se completa la traducción al lenguaje simbólico.Si no especifica deducciones en la lista A y tiene donativos deducibles. b: Declara la partida autorizada en el renglón 34b. parte de la dificultad de traducir del lenguaje ordinario al simbólico radica en eliminar la ambigüedad del lenguaje ordinario. Se separan las proposiciones simples y se les asignan variables. el que se definió en la Tabla 7. efectuando sustituciones con las variables. Paso 2. Lo que la proposición p p significa es ~ [p ( ~ q )]. ¿Cómo se puede justificar lo anterior? Como hemos visto. Sean d: Especifica deducciones en la lista A. c: Tiene donativos deducibles. entonces (w b) Paso 3.

entonces no tiene alas. 3. Este animal tiene alas. Cuando se escribe la recíproca. CONTRARRECÍPROCA Si este animal no tiene alas. INVERSA: Si este animal no es un ave. la inversa. entonces tiene alas. entonces no es un ave. escribir contrarrecíproca. p CONDICIONAL Dada la p ~q ~ EJEMPLO 6 Sean p: Este animal es un ave. 3.2 Recíproca. No es necesario que la proposición original sea de la forma p q. inversa y contrarecíproca Existen otras proposiciones relacionadas con la implicación p q. VARIACIONES DE LA condicional p q. se definen: 1. RECÍPROCA: Si este animal tiene alas. o la contrarrecíproca. su inversa y su Solución PROPOSICIÓN: Si este animal es un ave. Dada p q. entonces es un ave. las cuales se definen a continuación.cuando se consideren los conceptos de validez y argumentos válidos. Por ahora traduciremos todas las diversas formas si entonces de acuerdo con la proposición p q definida en la Tabla 7. y el antecedente o el consecuente pueden ser cualquier proposición. su recíproca. puede resultar una doble . La 2.

Entonces la proposición dada se escribe p RECÍPROCA: q Oldsmobile. utilizando la ley de la doble negación. su inversa y su contrarrecíproca. Solución Sean p: Es un Oldsmobile. q p: Si es un automóvil. escribir su recíproca. entonces es un automóvil. EJEMPLO 7 Dada ~ w. q: Es un automóvil. Solución RECÍPROCA: ~ INVERSA: p q p (~ p) CONTRARRECÍPROCA: No todas estas proposiciones son equivalentes en significado. entonces es un . la inversa y la contrarrecíproca de la proposición: Si es un Oldsmobile. escribir su recíproca. EJEMPLO 9 Escribir la recíproca. su inversa y su contrarrecíproca Solución RECÍPROCA: ~ q INVERSA: ~ p q (~ p) p CONTRARRECÍPROCA: EJEMPLO 8 Dada ~ p q. En este caso esta última se debe reemplazar por la proposición original. como se puede ver considerando el Ejemplo 9.negación.

entonces no es un Oldsmobile. pero no es necesario que lo sea.INVERSA: ~ p (~ q): Si no es un Oldsmobile. Esta es una proposición verdadera. Tabla 8 p q ~ ~ Proposición Recíproca Inverssa Contrarecíproca p q p q q p ~ ~q (~ p ) p (~ q ) T T T F F T F F T F T T T T F T T T F T T F T T . siempre que la proposición original sea verdadera El Ejemplo 9 ilustra que la recíproca de una proposición verdadera no es necesariamente verdadera. Obsérvese en la Tabla 8 que la contrarrecíproca y la proposición directa siempre tienen el mismo valor de verdad. Puede serlo. CONTRARRECÍPROCA: ~ (~ p): Si no es un automóvil. sin afectar su veracidad o falsedad. entonces no es un automóvil. Por consiguiente una implicación puede ser siempre reemplazada por su contrarrecíproca. tal como sucede con la recíproca y la inversa.

OPERADORES ADICIONALES 4. puede suceder que p q y también q p.1. Sin embargo. En este caso se escribe p q . La Bicondicional En el Cap. 3 se tuvo especial cuidado en señalar que una proposición q y su recíproca q p no tienen los mismos valores de verdad.

siempre que tengan valores de verdad iguales). p sí y sólo si q 2. se debe construir la tabla de verdad de (p q) (q p). q sí y sólo si p 3. Lo anterior se ilustra en la Tabla 9. o cuando ambas p y q sean falsas (esto es. Para determinar los valores de verdad de la proposición bicondicional. entonces q. Tabla 9 DEFINICIÓN DE LA BICONDICIONAL p T T F F q T F T F p T F F T q En matemáticas. p q se traduce de varias maneras. todas las cuales tienen el mismo significado: TRADUCCIONES DE LA BICONDICIONAL 1. Si p. y recíprocamente .y al conectivo se le llama bicondicional. pqp TT TF FT FF T F T T qq T T F T p ( q T F F T p p) q) ( Esto lleva a definir la bicondicional de manera que sea verdadera sólo cuando ambas p y q sean verdaderas.

p es una condición necesaria y suficiente para q 6. pq TTT TFF FTT q ~ p F F T ~ p (p q) V q V q) T T F T T T ( ~ p . q es equivalente a ~ p Solución Para establecer la equivalencia. Si q.4. De manera que agregamos a la lista otra forma de escribir la bicondicional: EQUIVALENCIA Si p y q tiene valores de verdad iguales. EJEMPLO 2 Demostrar que p V q. se debe demostrar que ( p q) ( ~ p V q) es siempre verdadera. entonces tiene tres lados. decimos que son equivalentes. se dice que p es equivalente a q y se escribe p q. y recíprocamente 5. Si un polígono es un triángulo. Si dos proposiciones tienen iguales valores de verdad. 2. Existe otra forma de denotar la bicondicional. Solución Un polígono es un triángulo sí y sólo si tiene tres lados. p es una condición necesaria y suficiente para p EJEMPLO 1 Reexpresar proposición lo siguiente en una sola 1. Nótese que p q es verdadera siempre que ambas p y q tengan valores de verdad iguales. entonces es un triángulo. entonces p. Si un polígono tiene tres lados.

1 Definición Muchas proposiciones en lógica simbólica son siempre verdaderas. Si aparece aunque sea un valor F. la proposición compuesta p V (~ p ) es siempre verdadera. . se expresa que las dos proposiciones son equivalentes. Por ejemplo. Para probar que una proposición dada es una tautología se construye su tabla de verdad y se verifica que la última columna (que representa a la proposición dada) consta solamente de valores T o verdaderos. q) V [p (~ q)] es Solución Se construye la tabla de verdad.FFT T T T Puesto que el resultado muestra que todos los valores obtenidos son T (verdaderos). la proposición dada se llama contradicción. EJEMPLO 1 Demostrar que (p una tautología. TAUTOLOGÍAS 5. no se trata de una tautología. Si todos los valores de la última columna son F. TAUTOLOGÍA Una tautología es una proposición que es verdadera en todos los casos de su tabla de verdad. Las proposiciones que son siempre verdaderas se llaman tautologías. sin importar el valor de verdad de p.

como en el Ejemplo 2.2 Implicación Si una condicional es tautología. el Ejemplo 2 se puede escribir (p V q) (~ q p) El símbolo de implicación p q se pronuncia "p implica q".pqp TTT TFF FTF FFF q ~ q F T F T p q F T T T ~ (p [p T T T T q) V ( ~ q)] De esta manera. ya que es verdadera en todos los casos de su tabla de verdad. se escribe p q y se lee "p es lógicamente equivalente a q". Una proposición bicondicional. EJEMPLO 2 Es (p V q) (~q p) es una tautología ? Solución Se construye la tabla de verdad. p q que es también tautología se llama equivalencia lógica. 5. Esto es. entonces se llama implicación y se simboliza por . la proposición es una tautología. . pq TT TF FT FF p V~ q q T F T T T F F T ~ T T T F p (p q T T T T V q) p) (~ Así que sí es una tautología.

5. como consecuencia de las proposiciones que se conectan. y el valor de verdad para estos casos puede ser verdadero o falso. respectivamente.7 Razonamiento directo. Nótese la diferencia entre los símbolos y . entonces se emplean los símbolos y en vez de y . y se les llama imp ). [ (p q) p] q Este razonamiento se conoce también con el nombre de modus ponens.EJEMPLO 3 Demostrar que (p q) [p (~ q)]. Dado que esta tautología a es un poco más . lo mismo que entre y ) y la bicondicional ) se usan como conectivos lógicos. Si. con el de ley de separación. Solución Se construye la tabla de verdad. o razonamiento de suposición del antecedente. es una equivalencia lógica y se escribe (p q) [p (~ q)]. las tablas de verdad proporcionan solamente valores verdaderos. ~ p q q) F T F T F T F F ( p (~ ~[ (~ ) [~ q) ] p ( q)] T T F T T T T T q ~ pqp TTT TFF FTT FFT q Puesto que todas las posibilidades son verdaderas.

se puede ver que el argumento resulta válido. RAZONAMIENTO DIRECTO Premisa mayor: p q . Recuérdese de la geometría que:. El argumento anterior consta de dos premisas. y una conclusión. o hipótesis. Se ilustra como sigue. El argumento es válido si [ (p q) p] q es una tautología.complicada. Tabla 12 DEMOSTRACIÓN DE LA LEY DE RAZONAMIENTO DIRECTO pqp TT TF FT FF T F T T q (p q ) p T F F F [ ) T T T T p] (p q q El modelo del razonamiento directo es muy importante y se debe memorizar. comenzaremos por considerar el ejemplo siguiente: p q Si Álvaro obtiene la máxima calificación en el examen final. es un antiguo símbolo que se emplea para representar la frase por lo tanto. entonces pasará el curso p Álvaro obtiene la máxima calificación en el examen final p Por lo tanto Álvaro pasa el curso. Por medio de la Tabla 12.

p EJEMPLO 6 Si Víctor juega ajedrez.. Si Judith es una persona lógica. ~ q Álvaro no pasa el curso. entonces pasa el curso. Por lo tanto. Judith es una persona lógica. Si Álvaro obtiene la máxima calificación en el examen q final. Víctor es inteligente. Víctor juega ajedrez. El ejemplo que sigue ilustra lo que llamamos razonamiento indirecto. puesto que se identifican como ejemplos de razonamiento directo. entonces es inteligente. Por lo tanto.Premisa menor: p Conclusión: . Decimos que estos argumentos son válidos. Judith entiende este ejemplo. . entonces entenderá este ejemplo. 5.. [(p ~ p) q) ( ~ q)] ( Este razonamiento también se llama modus tollens o razonamiento de negación del consecuente.8 Razonamiento indirecto.

Álvaro no obtiene la máxima calificación en el examen final. entonces q es verdadera. Se puede razonar como sigue: ~ p debe ser verdadera.… ~ p Por lo tanto. pero sip es verdadera. El ratón no toma el queso. entonces el ratón toma el queso. RAZONAMIENTO Premisa mayor: p q INDIRECTO Premisa menor: ~ p Conclusión: … ~ p Se puede probar la tautología considerando la tabla de verdad (véase la Tabla 13). esto es imposible debido a la premisa menor. . ya que si fuera falsa. entonces p sería verdadera. Tabla 13 DEMOSTRACIÓN DE LA LEY DE RAZONAMIENTO INDIRECTO pqp TT TF FT FF T F T T q (p q ) p T F F F [ ) T T T T p] (p q q EJEMPLO 7 Si el gato atrapa al ratón. La forma simbólica del argumento debe ser memorizada.

entonces yo soy Napoleón. Entre los primeros hay algunos que abordan. Gutiérrez Sáenz. y que no pertenecen a la tradición analítica. Ferrater Mora y Manuel Sacristán entre otros. en español los textos de Garrido. Yo no soy Napoleón.Por lo tanto. Patrick Suppes. LÓGICA SIMBÓLICA PARA TODOS Juan Manuel Campos Benítez* Son muchos los textos de lógica disponibles para los estudiantes. especialmente aquellos libros de texto escritos por lógicos dentro de la tradición analítica. alguno de los desarrollos de las llamadas lógicas modales. Benson Mates. Por lo tanto. Libros un poco antiguos son los de Márquez Muro. el gato no atrapa al ratón. Álvaro no obtiene la máxima calificación en ese examen. escritos en inglés. Deaño. Baste mencionar los de Irving Copi. Elí de Gortari y otros. la mayoría de los cuales incluyen la lógica proposicional y la lógica de predicados. . Si Álvaro obtiene la máxima calificación en ese examen. y que incluyen lógica modal. aunque sin ahondar en el tema.

“Santo Tomás sobre la inexistencia de Dios. Diánoia. lógica temporal y lógica deóntica. alemán. Saber Novohispano. reglas de formación y reglas de . publicada el año 2000 por la Universidad Veracruzana. aquella desarrollada en el México y Perú coloniales. 1998) y varias obras escritas en colaboración con Mauricio Beuchot publicadas por la UNAM: La lógica mexicana en el Siglo de Oro. México y Estados Unidos. Una nota lógico-metafísica”. es decir. los cuantificadores y demás operadores. además de varios artículos sobre Antonio Rubio y Alonso de la Veracruz en diferentes revistas (Crítica. con especial atención a la lógica novohispana. La teoría de la argumentación en el México colonial.E. La lógica simbólica tiene un parecido con las matemáticas. En inglés es posible encontrar algún texto que trate todas estas lógicas.lógica epistémica. ha escrito su Lógica simbólica para todos. “Lógica y utopía”. no sólo en el uso de símbolos cuasi matemáticos sino también en la presentación de la lógica a la manera de un cálculo y la formulación de reglas a la manera de operaciones. estas reglas rigen el uso de las conectivas. pero en español no contábamos con un libro que las abarcara. “Dios y modalidad”. Muchos de sus artículos en inglés. F. Vivarium. Baste mencionar su La lógica en el virreinato del Perú (Lima. quien ha enseñado lógica en Perú. El cálculo puede presentarse de manera axiomática.. español y latín usan la lógica y el simbolismo en su exposición y tratamiento de los temas estudiados. partiendo de un número finito de axiomas o esquemas de axiomas. virtud”. Walter Redmond. Pensamiento y realidad en Fray Alonso de la Veracruz. entre otras). Walter Redmond ha estudiado la lógica y la historia de la lógica.C. deber. baste mencionar algunos títulos: “Lógica.

si añadimos reglas de la identidad tenemos el sistema de lógica elemental. enunciados. Hay cierto consenso en que la lógica trata con oraciones. y entonces ese sistema tiene su aplicación en la electrónica y la computación. puede aplicarse entonces a diversos segmentos de la realidad: a pensamientos o entidades psicológicas.transformación. también puede presentarse de acuerdo a otro método diferente del método axiomático. pero también se ha mantenido que trata de juicios o entidades psicológicas. y este algo . Pero también hay acuerdo en que el pensamiento es pensamiento de algo. proposiciones o entidades abstractas. y el sistema de estas reglas abarca. En efecto. El sistema de las reglas genera un cálculo que puede interpretarse de varias maneras. conectivas y reglas para las conectivas. además del vocabulario básico. pues constituye un lenguaje acerca de algo. proposiciones. combinar y generar símbolos a partir del vocabulario básico y las reglas. pues bien. toda la silogística aristotélica. cuyo punto de partida son oraciones básicas. hay de hecho toda una tradición que dice que la lógica es ciencia del razonamiento correcto. Podemos interpretar esos símbolos como circuitos eléctricos. Pueden interpretarse también como oraciones. como un caso particular. La lógica elemental comienza con el estudio de las conectivas y podemos preguntarnos qué unen esas conectivas. Un cálculo sin interpretar constituye un sistema formal. a enunciados que hablen acerca de eventos o acontecimientos. el llamado método de deducción natural. Pero la decisión respecto a cómo interpretar esos signos o símbolos no corresponde a la lógica sino a la filosofía de la lógica. oraciones o entidades lingüísticas. Cuando las oraciones se cuantifican. un sistema sintáctico que ofrece reglas para manipular. pueden unir varias cosas. tenemos reglas para los cuantificadores. y esto abre nuevas posibilidades de aplicación. juicios. por ejemplo.

En este sentido la lógica se acerca a la retórica. eventos. lo que hace parecer inútil a la lógica e inútil el tiempo invertido en aprenderla. el aspecto semántico. “contingente”. “nunca”. Así. Una queja perenne de los estudiantes ha sido que aprenden con dificultad la lógica y luego esta herramienta no se aplica en los demás cursos. aquel que estudia las relaciones entre el lenguaje de la lógica y sus usos. y es que la lógica elemental no incluye el estudio de esas expresiones. argumentos deónticos donde ocurren términos como “obligatorio”. Un uso tradicional ha sido la argumentación. control plasmado precisamente en el uso correcto de las reglas que proporciona la lógica. argumentos epistémicos donde ocurren términos como “saber”. Quizá una de las razones sea que hay argumentos. la lógica estudia por una parte el aspecto sintáctico. “creer”. Esto nos lleva al contexto dialógico. Y en todos ellos la lógica aprendida parece que no tiene aplicación. que rebasan el ámbito de la lógica elemental. “opinar”. Por eso es fundamental la noción de verdad en la lógica y con ella abordamos un aspecto importante: la semántica. a las relaciones entre personas que quieren convencer de algo a alguien. pero puede . “a veces”. No la tiene hasta cierto punto. “permisible”. pero teniendo control sobre aquello que se debate.puede ser extramental: situaciones. las reglas para formar oraciones y combinarlas. Podemos encontrar argumentos metafísicos donde ocurren términos como “necesario”. Pero hay todavía otro aspecto: el pragmático. estudia las condiciones de verdad de las oraciones. por otra. a la persuasión o convencimiento. “posible”. especialmente dentro de la filosofía. el ofrecer argumentos para defender o refutar una tesis. argumentos temporales donde ocurren términos como “siempre”. estados de cosas.

sus leyes y su ordenación de conceptos. El libro de Walter Redmond las trata siguiendo el método de deducción natural. su estrategia de investigación.expandirse de tal manera que las incluya. La lógica como arte tiene preceptos. ofrece ejercicios a ser realizados por los estudiantes y que van creciendo en grado de complejidad conforme se avanza. reglas a seguir. Es importante destacar dos aspectos de la lógica que en el texto son complementarios: la lógica como ciencia y la lógica como arte. El estudio de las lógicas modales abarca esas expresiones y las reglas para su comportamiento lógico. discutir. deóntica y temporal. las lógicas modales nos llevan al tratamiento de problemas recurrentes de la filosofía: la existencia de un ser necesario. no tan palpable como los objetos de otras ciencias. Es en el ámbito filosófico donde más se aprecia esto. Pero no es fácil encontrar un texto accesible que trate de todas ellas. además sus aplicaciones. razonar. los aspectos del ser real y . indica cómo hacer bien ciertas cosas: argumentar. y tiene sus principios que rigen esos objetos. Estos aspectos se integran en el libro. epistémica. Como buen manual. comienza con la lógica elemental para continuar después con las extensiones de la lógica: modal. En efecto. la lógica docens y la lógica utens. de manera que con atención y disciplina se puede alcanzar el fruto. aunque ese objeto tenga entidad mínima. pues la lógica no se aprende sin ejercicio. Porque la lógica como ciencia tiene su objeto. las reglas están expuestas claramente. ejercicios a realizar. y nos muestra. como la llamaban los escolásticos. el libro puede ser usado como libro de texto por los profesores de lógica pero también puede usarse de manera autodidacta. la parte teórica y la parte práctica de la lógica.

la lógica como arte se aplica en cualquier situación donde haya que ofrecer argumentos para aprobar o rechazar una tesis. una muestra de lo que debe ser la filosofía. para averiguar la verdad o falsedad de una oración. relacionarse mejor con sus semejantes. Todos estos son problemas que han acuciado las mentes de los grandes filósofos y el texto nos proporciona una herramienta para su cabal tratamiento. Esto muestra a la filosofía como algo vivo y en constante diálogo. El estudiante. El libro es moderado: no espere el lector un tratamiento de la metalógica con sus metateoremas y sus tesis sobre la completitud e independencia de sus axiomas o teoremas. fuera de moda. a saber. no sólo el de filosofía sino también el de otras disciplinas. sin que importe el que sean autores olvidados. En efecto. superados. la obligación y la permisión.posible. Y este acercamiento a los problemas de la filosofía está hecho de tal manera que nos remite a los autores que en la historia han tocado el mismo punto. además del tratamiento sintáctico de las nociones modales. puede sacar provecho de este libro. puede también adquirir ciertas capacidades y aptitudes que le habilitan para mejorar su forma de pensar y. las condiciones del saber y la creencia. de la ciencia. Puede aprender algo acerca de algo. de la literatura. del conocimiento. el tiempo lineal y tiempos ramificados. Nos permite también un acercamiento a la filosofía de la religión. Esta herramienta incluye. el aspecto semántico. lo que importa son sus argumentos. Es la semántica de los mundos posibles la que logra una exposición clara y al alcance de quien haya seguido a fondo el texto y realizado los ejercicios. en este sentido. tampoco . la corrección de un argumento o sus fallas. su corrección o sus errores. su verdad o falsedad. la lógica.

aquella que ha hecho posible definirlo precisamente como racional. Espere.espere un tratamiento exhaustivo de los ámbitos de aplicación y situaciones propios de los textos de lógica informal que ya empiezan a abundar en nuestros medios. en algunos medios se habla de aprendizaje “significativo”. bien mirada. de hecho Gilson aprecia en poco los desarrollos de la lógica después del siglo XIII y debido principalmente a autores nominalistas. proporciona una herramienta que. pero a veces queda uno con la impresión de que “significativo” quiere decir casi aprender jugando y cuyo contenido deba no ser . y ha sido poco estudiada por los tomistas. Esta frase ha sido repetida y se ha entendido como si la lógica fuera ajena e independiente de la ontología. quien es un gran conocedor de la historia de la lógica). previa realización de los ejercicios. saber algo acerca de una ciencia y aprender. como lo hubo a su vez algún texto de lógica proveniente de la fenomenología. cuando no despreciada. se asociaba a la lógica con la ideología burguesa y era poco estudiada. Una palabra final. eso sí. no es tan sólo una herramienta sino una parte constitutiva del ser humano. cuando el marxismo imperaba. aunque haya sus grandes excepciones (Bochenski por ejemplo. Estamos lejos ya de los días en que Étienne Gilson decía que los problemas metafísicos habían de responderse metafísicamente y no lógicamente. la lógica elemental y sus extensiones. es también un manual y da instrucciones. En nuestros días la lógica informal en sus varias vertientes acude muy poco al simbolismo y la formalización. En varias universidades latinoamericanas. aunque debemos decir que hubo textos acordes con los lineamientos marxistas. La lógica ha sido malentendida y quizá por eso ha tenido varios detractores. No se trata de un libro para leer solamente.

El texto está en sus manos. Introducción 1. y el desencanto y escepticismo posmodernos casi excluye a la lógica tratando de sustituirla por alguna “poética” o algo parecido. El texto está al alcance del lector y yo le invito a zambullirse en él. presenta una formulación de la lógica sin más. En este sentido recupera las aportaciones logradas en la historia del pensamiento. Su aprendizaje no es fácil.1 Definición de Lógica simbólica La lógica simbólica es un sistema formal que analiza los signos y lo que designan. como no lo ha sido en sus diferentes momentos. y constituye una buena aproximación a la enseñanza de la filosofía y de otras áreas.El positivismo lógico entiende que el significado es la relación que existe entre . por eso constituye una buena introducción a la misma. también reconoce los aportes griegos (estoicos y aristotélicos) y medievales. pues le lleva de la mano hacia la enseñanza de la lógica y sus aplicaciones en filosofía. Lógica simbólica 1 1. requiere del esfuerzo y la disciplina del estudiante y del profesor.abstracto y lograrse con mínima disciplina. Si bien el texto de Walter Redmond recoge los aportes escolásticos y analíticos.

Si el hombre hace su historia. sus signos se vinculan concosas y hechos. 5. encontraremos que pueden referirse a cosas muy diferentes (esdecir. 7. concretamente unmetalenguaje (lenguaje técnico formal) que se emplea para hablar de la lenguacomo si de otro objeto se tratara: la lengua es objeto de un determinado estudiosemántico.Marzo tiene 30 días o marzo tiene 31 días. idealmente. Si comparamos los siguientes ejemplosde pensamientos. la lógica simbólica usa una notación matemática paraestablecer lo que designan los signos. 8.estructuras o esquemas del pensamiento. El hombre hace su historia o la historia hace al hombre.7 es un número primo y 4 es par. Si 4 es par. entonces los cigarros son un medio de suicidio. entonces 4" también es par. y sin embargo tienen estructuras comunes: 1.Venus es un planeta y Sirio es una estrella. es un reflejo de la realidad. entonces el destino es un mito. La gasolina es inflamable y la potasa es cáustica. 4. Si el tabaco produce cáncer. 6. Una de las figuras más destacadas del Círculo de Viena. y lo hace de forma más precisa y clara quela lengua también constituye por sí misma un lenguaje. el filósofoalemán Rudolf Carnap.4 es impar o 4 es par.laspalabras y las cosas. 2.2 El objeto de estudio de la lógica La lógica es una ciencia y su objeto de estudio lo constituyen las formas. 3. realizó su más importante contribución a la semánticafilosófica cuando desarrolló la lógica simbólica. y su estudio tiene un fundamento empírico: puesto que ellenguaje. . 9. Ahora bien. su contenido es variable). .

periódicos. Sin embargo. un instrumento por el cual se trasmite información. gritos. sobretodo. utilizado para trasmitir información. . etc. En los lenguajes hechos por el hombre. No todos los lenguajes son hechos por el hombre.. Los libros. por ejemplo. ya sea utilizando cada signo individualmente. combinación decolores. que representan algo. etc. En realidad. o combinándolos de alguna manera.entonces". las abejas.3 Lenguaje natural y lenguaje simbólico El lenguaje es un medio. los signos utilizados son palabras. "si. La lógica proposicional es la parte de la lógica que estudia las formas en que se relacionan unas proposiciones con otras y. la relación que se da entre las proposiciones que componen un razonamiento. las cuales tienen un determinado significado. volutas de humo. habladas o escritas. que relacionan entre sí a pensamientos como "4 es impar". informan a sus compañeras de panal sobre la localización de polen. En el lenguaje natural.. que pueden ser señas. la información se trasmite por medio de signos. El desarrollo de un embrión de cualquier especie está guiado por la información trasmitida por los genes de las células germinales. es un hecho que una misma palabra puede tener o . los lenguajes humanos son sistemas de signos. palabras. estos ejemplos pueden ser agrupados en tres clases.Pese a tener diferente contenido. que aprendemos en forma espontánea empleamos en nuestra vida cotidiana. de acuerdo con las expresiones "Y". haciendo cierto tipo de movimientos que parecen una danza. a los que se llama proposiciones. folletos. son buenos ejemplos de lenguaje escrito. "O"..

pero no dentro del mismo lenguaje. signos elegidos cuidadosa y conscientemente para representar a otros signos. como la científica. el símbolo "p i” significa siempre la relación cuantitativa que existe entre el diámetro y la circunferencia de un círculo cualquiera (3. Pero también se originan confusiones y errores. sencillez. básicamente.4 La simbolización del lenguaje lógico Al simbolizar un lenguaje lo que se persigue es. sin que varíe de acuerdo con las circunstancias. que si bien en la vida diaria no es del todo necesario evitar. El símbolo puede variar de significado. que son signos de signos.14159). Es por ello que en las ciencias nos encontramos un lenguaje preciso. que es el que vamos a examinar en seguida. pero dentro de un lenguaje determinado poseen siempre el mismo significado. el de la química y el de la lógica. entre los más conocidos están el de las matemáticas. por ejemplo. sí es preciso eliminaren lo posible. claridad y exactitud. es decir. dentro del lenguaje de la geometría plana. que se utiliza para nombrar lo mismo a un niño travieso que a cierto tipo de conexión eléctrica) . técnico y lleno de símbolos.usarse con dos o más significados distintos. Por ser producto de una elección. en algunas actividades. Es más sencillo y también resulta más claro y exacto representar las cosas por . 1. dependiendo de las circunstancias (como "diablito". Gracias a estas imprecisiones del lenguaje natural se producen muchos chistes (sobre todo los de doble sentido) y muchas expresiones cómicas. Existen varios lenguajes científicos: tantos como ciencias particulares. los símbolos tienen carácter convencional. también es común que dos o más palabras tengan el mismo significado o se les utilice en el mismo sentido (como "alumno?' y "estudiante?').

De esta manera es más fácil. esto es. Contra estas ideas separadas reaccionó Aristóteles. que Platón identificaba. lo cual no siempre resulta sencillo como en el siguiente caso: "Si en la Luna hay vida. En la lógica proposicional se examinan las posibles relaciones entre proposiciones. . Platón pensaba que cualquier contenido de la mente existía tal cual en la realidad. la simbolización del lenguaje lógico nos permite examinar más fácilmente las formas del pensamiento y sus leyes. "si. por ejemplo. Platón hablaba de la “dialéctica” como la técnica de conocer las relaciones entre las ideas. Aristóteles distingue. por medio de signos cuyo significado sea constante. así." "Luego. esto trajo consigo el nacimiento de la lógica. En esto es particularmente útil simbolizar las proposiciones con simples literales y las expresiones mediante las cuales son relacionadas (como "Y". quien en su Oga no n o colección de obras lógicas. Por lógica clásica puede entenderse a veces la lógica simbólica moderna estándar. decidir si. el cosmos no etós.medio de símbolos. entonces")." "No ocurre que en la Luna hay vida. Para Aristóteles las ideas existen sólo en la mente humana. entonces en la Luna hay agua. "O". cálculos como . Por ello." 2. en el mundo de las Ideas separadas. como se verá más adelante. entre la metafísica (ciencia de la realidad o del ser y sus principios más profundos) y la lógica (ciencia de las ideas y procesos de la mente). sin atender a su contenido. las cuales es preciso seguir si queremos que nuestro pensamiento sea correcto. un razonamiento es correcto o no. De la lógica clásica a la lógica simbólica La lógica no siempre ha recibido el mismo nombre. emplea la palabra “analítica” para referirse a la lógica. . no es cierto que en la Luna hay agua. pero se corresponden a la realidad.

Esto se opondría a las lógicas no clásicas. la lógica de predicados de primer orden(incluida la lógica de relaciones) y la lógica de predicados de orden superior. que incluirían la lógica de enunciados.los de Principia Mathematica y sistemas afines. Pero puede entenderse también y más frecuentemente por “lógica clásica) la lógica aristotélica con sus complementos medievales que permaneció con apenas alguna variación hasta Frege. esto es. o bien constituyen de algún modo concepciones alternativas a la lógica clásica (como la lógica intuicionista). aquellas que. o bien constituyen desarrollos complementarios de la lógica clásica (como la lógica modal). . o bien no comparten algún presupuesto fundamental de la lógica clásica.

Sign up to vote on this title
UsefulNot useful