P. 1
logiica simbolica

logiica simbolica

|Views: 1.445|Likes:

More info:

Published by: Andreea Ocampo Garciia on Nov 06, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

01/11/2013

pdf

text

original

Sections

  • 1.3 Conjunción
  • 1.4 Disyunción
  • 1.5 Negación
  • 1.6 Traducción y combinación de conectivos
  • 3.1 Si – Entonces
  • 3.2 Recíproca, inversa y contrarecíproca
  • 4.1. La Bicondicional
  • 5.1 Definición
  • 5.2 Implicación
  • 5.7 Razonamiento directo, [ (p q ) p] q
  • 5.8 Razonamiento indirecto, [(p q) ( ~ q)] ( ~ p)

-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. resulta falsa Así que definimos q según la Tabla 1. resulta verdadera es cuando p y q son ambas verdaderas.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. Por ejemplo. Los peces nadan y Neil Armstrong caminó sobre la luna es una proposición compuesta verdadera. 1. de lo contrario. y tengo una moneda de 5000 pesos en mi bolsillo. 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.4 Disyunción .

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

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

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. . si está en España. no puede estar en Rusia. Recuérdese: la o incluyentesignifica cualquiera de las dos o ambas. Obviamente no es posible que Juan se encuentre en ambos lugares al mismo tiempo. Por lo tanto la intención de la proposición II es Estoy o en Rusia o en España. los de usos sus del Consideremos ahora si Juan dice la verdad al formular la aserción Estoy en Rusia o en España. entonces no puede estar en España. se enunciará la proposición empleando el conectivo o…o.Una disyunción es falsa sólo si ambas proposiciones componentes son falsas. Si la intención de la proposición requiere la o excluyente. La proposición II ilustra uno de conectivo o que se llama o excluyente. Si Juan está en Rusia.

~ t: Octavio no está diciendo la verdad.mientras que la o excluyente significa cualquiera de las dos pero no ambas. o bien. 1. "no es cierto que Octavio está diciendo la verdad". . También se puede traducir ~ t como "no ocurre que Octavio está diciendo la verdad". 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.5 Negación La negativa de cualquier proposición p se llama negación y se simboliza mediante ~p. La Tabla 3 proporciona una definición clara de la negación. pero se requiere tener cuidado con la manera en que se forme la negación de una proposición compuesta. Cualquier proposición puede ser negada.

y la negación de c es la proposición ~ c: El carro de Juan no es rojo. Por ejemplo. Se debe tener cuidado al negar proposiciones que contienen las palabras todos. sean b: El carro de Juan es azul. La negación correcta es No todos los estudiantes tienen lápices. Solución Veamos si son respuestas correctas las proposiciones "Ningún estudiante tiene lápices". La negación de b es ~ b: El carro de Juan no es azul.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. EJEMPLO 3 Escribir la negación de Todos los estudiantes tienen lápices. entonces su negación debe ser verdadera. La proposición c no es la negación de la proposición b. o bien "Todos los estudiantes carecen de lápices". aunque no pueda ser que ambas sean verdaderas. La negación no se forma denegando cada una de las proposiciones simples. o bien . no se debe alterar dicha proposición. ninguno. Recuérdese que si una proposición es falsa. o algunos. Al negar una proposición. c: El carro de Juan es rojo.

o bien Algunos estudiantes no tienen lápices. se puede traducir como sigue. c: Claudia es atractiva.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. la proposición Bertha y Claudia son atractivas. En matemáticas.Por lo menos un estudiante no tiene lápiz. 1. Sean b: Bertha es atractiva. Por ejemplo. Entonces tenemos que . la palabra algunos se emplea en el sentido de "por lo menos unos". La Tabla 4 proporciona algunas de las negaciones comunes.

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

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

Para empezar. Solución Sea p: Alfredo vino anoche. Entonces la proposición se puede escribir (~ p) (~ q). p q T T T F F T F F Luego se incluyen los valores de verdad de ~ p y ~ q.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. q: Alfredo recogió su dinero. p q ~ ~ p q T T F T F F F T T F F T F T F T . se enumeran todas las combinaciones posibles de valores de verdad de las proposiciones simples 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. 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 marca una columna "(~ p) (~ q)" en la parte superior. se anotan los valores de verdad de (~ p) (~ q). 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.Por último.

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

para anotar los valores de la columna C. 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.LEY DE LA DOBLE NEGACIÓN ~ ( ~ p) se puede reemplazar por p en cualquier expresión lógica. Se examinan las columnas A y B que se indican a continuación. Paso 1. Paso 2. Se utiliza la columna C y la definición de negación para anotar los valores de la columna D. . 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). Primeramente se tienen en cuenta los paréntesis.

Paso 4. Considérese el ejemplo siguiente que ilustra los diferentes sentidos de la condicional. Se puede utilizar si-entonces para indicar una relación lógica. que son las partes izquierda y derecha de la operación final. y q se denomina conclusión o consecuente. Esto es. 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. Se utilizan las columnas A y B y la definición de disyunción para anotar los valores de la columna E. es decir. p se llama hipótesis o antecedente. Se simboliza por medio de p q. en el lenguaje común utilizamos el conectivo si-entonces en varias formas.1 Si – Entonces La proposición "si p. 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. entonces q" se llama condicional. Paso 5.Paso 3. una en la que el consecuente se deduce lógicamente del antecedente: . Se utilizan las columnas D y F. 1.

Se puede usar si-entonces para comunicar una decisión de parte de la persona que habla: Si Juan me lanza esa piedra. entonces yo soy tío de un mono. El consecuente es obviamente falso y la persona que habla desea poner énfasis en que el antecedente también es falso. entonces lo golpearé. 3. 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. Consideremos otro ejemplo. A menudo se utiliza en forma humorística o enfática: Si Juan obtuvo la máxima nota en ese examen. Plantearemos el problema preguntando en qué circunstancias una condicional dada sería falsa. 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. entonces p puede reemplazar a ~ (~ p) 2. 4.Si ~(~ p) tiene el mismo valor de verdad que p. 5. entre el antecedente y el consecuente. . de causa o de definición. entonces Juan guía un automóvil. 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. Por último. entonces me golpeará el pie.

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. Sean p: Gana el concurso. decimos que la proposición es verdadera. entonces te daré 10 000 pesos.Supongamos que una persona le hace una promesa a otra. Esto proviene del caso 2. q: Te dará 10 000 pesos. ( ~ q)] es . p q es falsa siempre que p verdadera. si la incumple. La prueba de una condicional consiste en determinar cuándo es falsa. En símbolos. Caso 3: F T No gana el concurso." Si cumple su promesa. Caso 4: F F No gana el concurso. no dará 10 000 pesos. decimos que es falsa. Caso 2: T F Gana concurso. dará 10 000 pesos. Hay cuatro Esto equivale a decir que p q es verdadera siempre que ~ [ p verdadera. dará 10 000 pesos. 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. "Si gano el concurso.

EJEMPLO 1 Caso 1: T T q la Si 7 < 14. Esta es una proposición verdadera. . EJEMPLO 2 Caso 2: T F Si 7 + 5 = 12. 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. como se muestra en la Tabla 7. entonces 7 + 2 < 14 + 2.Construyamos una tabla de verdad para ~ [ p pq~q~p (~ q) [ p ( ~ p)] (~ q)]. ya que ambas componentes son también verdaderas. TTFFT TFTTF FTFFT FFTFT Usamos esta tabla de verdad para definir condicional q. entonces 7 + 10 = 15.

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

"Todos los patos son aves" se puede reexpresar como "Si es un pato. entonces es un ave". EJEMPLO 5 Traducir la siguiente oración. Dará 10 000 pesos cuando gane el concurso. 9. se pueden expresar en la forma si-entonces.8. tomada de una forma fiscal. . al lenguaje simbólico. 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. si p. todos los p son a Traducción: Todos los patos son aves. Daré 10 000 pesos siempre que gane el concurso. Por ejemplo. Podemos ahora formular estas nueve proposiciones equivalentes en forma simbólica como sigue: 1. Así que agregamos una forma adicional a la lista: 10.

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

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

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

entonces no es un Oldsmobile. CONTRARRECÍPROCA: ~ (~ p): Si no es un automóvil. 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 . tal como sucede con la recíproca y la inversa. sin afectar su veracidad o falsedad. Puede serlo.INVERSA: ~ p (~ q): Si no es un Oldsmobile. entonces no es un automóvil. Obsérvese en la Tabla 8 que la contrarrecíproca y la proposición directa siempre tienen el mismo valor de verdad. Esta es una proposición verdadera. Por consiguiente una implicación puede ser siempre reemplazada por su contrarrecíproca. pero no es necesario que lo sea. 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.

En este caso se escribe p q . 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.OPERADORES ADICIONALES 4.1. La Bicondicional En el Cap. Sin embargo. puede suceder que p q y también q p.

p sí y sólo si q 2. se debe construir la tabla de verdad de (p q) (q p).y al conectivo se le llama bicondicional. todas las cuales tienen el mismo significado: TRADUCCIONES DE LA BICONDICIONAL 1. entonces q. 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. y recíprocamente . o cuando ambas p y q sean falsas (esto es. Si p. Para determinar los valores de verdad de la proposición bicondicional. Lo anterior se ilustra en la Tabla 9. p q se traduce de varias maneras. 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. siempre que tengan valores de verdad iguales). q sí y sólo si p 3.

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

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

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. el Ejemplo 2 se puede escribir (p V q) (~ q p) El símbolo de implicación p q se pronuncia "p implica q". entonces se llama implicación y se simboliza por . . p q que es también tautología se llama equivalencia lógica. como en el Ejemplo 2. se escribe p q y se lee "p es lógicamente equivalente a q". 5. la proposición es una tautología. EJEMPLO 2 Es (p V q) (~q p) es una tautología ? Solución Se construye la tabla de verdad. 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.2 Implicación Si una condicional es tautología. Esto es. Una proposición bicondicional. ya que es verdadera en todos los casos de su tabla de verdad.

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

Recuérdese de la geometría que:. y una conclusión. RAZONAMIENTO DIRECTO Premisa mayor: p q . o hipótesis. comenzaremos por considerar el ejemplo siguiente: p q Si Álvaro obtiene la máxima calificación en el examen final. El argumento anterior consta de dos premisas. Se ilustra como sigue. El argumento es válido si [ (p q) p] q es una tautología. Por medio de la Tabla 12. se puede ver que el argumento resulta válido. entonces pasará el curso p Álvaro obtiene la máxima calificación en el examen final p Por lo tanto Álvaro pasa el curso.complicada. es un antiguo símbolo que se emplea para representar la frase por lo tanto. 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.

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

esto es imposible debido a la premisa menor. Álvaro no obtiene la máxima calificación en el examen final. entonces q es verdadera. entonces p sería verdadera. ya que si fuera falsa. El ratón no toma el queso.… ~ p Por lo tanto. Se puede razonar como sigue: ~ p debe ser verdadera. La forma simbólica del argumento debe ser memorizada. 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. 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). entonces el ratón toma el queso. pero sip es verdadera. .

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

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

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

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

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

sin que importe el que sean autores olvidados. Puede aprender algo acerca de algo. en este sentido. Nos permite también un acercamiento a la filosofía de la religión. la lógica. una muestra de lo que debe ser la filosofía. 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. a saber. puede también adquirir ciertas capacidades y aptitudes que le habilitan para mejorar su forma de pensar y. el aspecto semántico. Esta herramienta incluye. su verdad o falsedad. El estudiante. no sólo el de filosofía sino también el de otras disciplinas. la lógica como arte se aplica en cualquier situación donde haya que ofrecer argumentos para aprobar o rechazar una tesis. la obligación y la permisión. 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. de la ciencia. el tiempo lineal y tiempos ramificados. tampoco . superados. fuera de moda. 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. puede sacar provecho de este libro. de la literatura. la corrección de un argumento o sus fallas. además del tratamiento sintáctico de las nociones modales. En efecto. relacionarse mejor con sus semejantes. su corrección o sus errores. 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. del conocimiento. Esto muestra a la filosofía como algo vivo y en constante diálogo. las condiciones del saber y la creencia.posible. lo que importa son sus argumentos. para averiguar la verdad o falsedad de una oración.

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

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

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

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

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

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

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. la lógica de predicados de primer orden(incluida la lógica de relaciones) y la lógica de predicados de orden superior. o bien no comparten algún presupuesto fundamental de la lógica clásica. que incluirían la lógica de enunciados. esto es.los de Principia Mathematica y sistemas afines. . aquellas que. Esto se opondría a las lógicas no clásicas. o bien constituyen de algún modo concepciones alternativas a la lógica clásica (como la lógica intuicionista). o bien constituyen desarrollos complementarios de la lógica clásica (como la lógica modal).

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->