Está en la página 1de 31

Instituto Superior de Formacin Docente N 111 Mariano Moreno

Profesorado de Educacin Primaria

Taller de Pensamiento Lgico Matemtico


Apuntes de Lgica

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

La lgica como ciencia del razonamiento


La palabra lgica proviene del vocablo griego logos y ste de la voz legein. Logos traduca una nocin muy profunda que representa un principio de validez universal, pues sealaba que toda la realidad se hallaba penetrada de l y por esta misma razn volva inteligibles todas las cosas. Incluso el hombre participaba de l. De aqu que la tarea humana en el conocimiento de las cosas consista en ir purificando el pensamiento para llegar a la visin del logos y as comprender la realidad. Manuel Garca Morente afirma que el griego conceba el logos como aquella razn fundamental o frmula racional definitoria que explica el qu es de algo.

USOS DE LA PALABRA LGICA COMO SUSTANTIVO, ADJETIVO Y ADVERBIO, EN EL LENGUAJE COLOQUIAL


Como sustantivo Empleado como sustantivo en el lenguaje cotidiano la palabra lgica adquiere el sentido de estructura de razonamiento, forma o modo de pensar o razonar, o, simplemente, razonamiento. As, se habla, por ejemplo, en un artculo periodstico, de la lgica del escndalo, para referirse al modo de pensar de la prensa de nuestro medio, que decide brindar cobertura a un hecho en funcin al escndalo que ste genere. Asimismo, se emplea el trmino lgica como sinnimo de sentido comn, buen sentido, razn o actitud racional, cuando se afirma, por ejemplo, que felizmente prevaleci la lgica. Como adjetivo En su uso adjetivo, la palabra lgica pasa a significar natural, en el sentido de previsible; es decir, hace referencia a un hecho o accin que se esperaba sucediese como consecuencia necesaria de un evento determinado; y as se dice: Es lgico que el anciano reaccione de la siguiente manera si le robaste las manzanas. Como adverbio En su uso adverbial el trmino lgica se convierte en lgicamente y expresa los mismos sentidos que posee como adjetivo, aunque ya no calificando un sustantivo, pues esa funcin slo le corresponde al adjetivo, sino expresando modo.

Por ltimo, el trmino ilgico es usado como sinnimo de irracional, absurdo, incoherente e inverosmil, cuando toma la forma de adjetivo. Como ejemplos de este uso tenemos: El alcalde de Miraflores inaugur el viernes una obra inconclusa aunque suene ilgico La ciencia puede ser caracterizada como un sistema de proposiciones o conocimientos metdicamente establecidos y comprobados, conectados por relaciones de fundamentacin y referentes a un dominio particular de objetos; la verdad de sus proposiciones se establece va demostrativa o deductiva o bien a travs de la experiencia. Aquellas ciencias que establecen la verdad de sus proposiciones mediante deducciones o demostraciones se denominan formales, abstractas o estructurales. Son las que tratan de los objetos abstractos, ideales o puramente intelectuales, tales como los nmeros. La lgica formal y la matemtica pura son ejemplos de estas ciencias. Pgina | 2

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Aquellas otras que la establecen a travs de la experiencia (observacin, medicin y experimentacin) se llaman ciencias fcticas, factuales, reales o empricas. Estas ltimas, de las que son ejemplo las ciencias naturales y las ciencias sociales, tratan acerca de los objetos reales, es decir, de entidades que se dan en la realidad espacio-temporal, entre las que se incluyen aquellos procesos, fenmenos o hechos naturales y sociales que el hombre encuentra en su experiencia del mundo real (sea la dilatacin de los cuerpos con el calor en la fsica, o la variacin de la moda en la sociologa, o la devaluacin monetaria en economa). La lgica es una ciencia formal que estudia las tcnicas, procedimientos, reglas, mtodos y los principios o leyes usados para distinguir la inferencia correcta de la incorrecta; para discriminar la inferencia vlida de la no vlida. Es ciencia formal porque ella atiende slo al aspecto estructural de las inferencias sin considerar el contenido significativo de sus proposiciones componentes. Naturalmente, esta definicin no pretende afirmar que slo es posible razonar o inferir correctamente si se ha estudiado lgica. Sostener esto sera tan errneo como pretender que slo es posible correr bien si se ha estudiado la fsica y la fisiologa necesarias para la descripcin de esta actividad.

NOCIN DE FORMA LGICA


La proposicin es una oracin aseverativa susceptible de ser calificada de verdadera o falsa. Ejemplos: a) Einstein fue el creador de la teora de la relatividad b) El Per est al norte del Ecuador En estos ejemplos a) y b) son proposiciones: a) es verdadera y b) es falsa. En consecuencia, la verdad y la falsedad son sus propiedades; as, pues, solamente poseen el atributo de verdad o falsedad las formas lingsticas que afirman o niegan algo, es decir, las proposiciones.

La inferencia es una operacin lgica que consiste en obtener la verdad de una proposicin, conocida como conclusin, a partir de la verdad de una o ms proposiciones, conocidas como premisas. Ejemplos: a) Si eres limeo, entonces eres peruano (premisa) b) Si eres peruano, entonces eres sudamericano (premisa)

Luego, si eres limeo, entonces eres sudamericano (conclusin) Pero cmo sabemos que la mencionada inferencia es vlida? Todos lo sabemos por intuicin, sin embargo sta es subjetiva y no puede garantizar objetivamente la validez de las inferencias en todos los casos. La validez o invalidez son propiedades de las inferencias, es decir, nicamente ellas pueden ser calificadas de vlidas o de invlidas. Las inferencias pueden ser deductivas e inductivas y radica la diferencia en el grado de relacin existente entre las premisas y la conclusin, pues en una inferencia deductiva la conclusin deriva necesariamente de las premisas: la verdad de stas garantiza la de aqulla; las premisas implican la conclusin. Consecuentemente, una inferencia es deductivamente vlida cuando es imposible que sus premisas sean verdaderas y su conclusin sea falsa. En una inferencia inductiva, en cambio, la conclusin no se sigue necesariamente de las premisas: stas solamente la hacen probable. Pgina | 3

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

RAZONAMIENTO DEDUCTIVO Y RAZONAMIENTO INDUCTIVO


Razonamiento deductivo: estamos entendiendo un tipo de razonamiento que busca descubrir si una conclusin dada es consecuencia de determinadas premisas, asunciones, axiomas o presupuestos. La siguiente es una forma comn muy empleada en el razonamiento deductivo: Si ocurre A, entonces ocurrir B Ocurre A En consecuencia, ocurre B. Aqu hay dos premisas y una conclusin. Las premisas son (1) Si A ocurre, entonces ocurrir B y (2) Ocurre A. Luego, la conclusin es ocurre B. Un caso especial de esta forma podra ser: Si ganamos el juego, entonces ganaremos la serie Nosotros ganamos el juego En consecuencia, nosotros ganamos la serie. El razonamiento inductivo nos ofrece menos certeza que el razonamiento deductivo y ms bien una diversidad de grados de probabilidad. Pero en el razonamiento inductivo estamos trabajando con predicciones del futuro, generalizaciones concernientes a vastas reas de instancias no observadas, y teoras concernientes a las llamadas regularidades en la naturaleza. Para una definicin de la induccin podemos decir que es aquel tipo de razonamiento que busca producir una afirmacin verdadera acerca de todos los miembros de un grupo de cosas o eventos sobre la base de un examen de un limitado nmero de casos individuales dentro de ese grupo. Afirmaciones tales como las siguientes son ejemplos de razonamiento inductivo: l participa en un concurso de preguntas todos los viernes por la maana al menos eso es lo que l ha hecho durante todo el semestre hasta ahora, esa es una caja de manzanas malogradas he observado la mitad de ellas y he encontrado un gusano en cada una que he revisado, y hay una posibilidad de que llueva si el viento sopla desde el sur es algo que generalmente ocurre. Esos enunciados indican intentos de descubrir alguna regularidad o generalizacin sobre la base de ocurrencias particulares cuidadosamente observadas y enumeradas. Alfred North Whitehead denomina a ello tratar de ver lo que es general y lo que es particular.

DIVISIN DE LA LGICA
Como se dijo lneas arriba, la lgica de primer orden es la ms verstil y aplicable, igualmente la ms estudiada y mejor conocida. Su denominacin proviene que esta lgica hace uso de un lenguaje que slo cuantifica las variables individuales, en tanto que se considera de segundo orden los lenguajes que, adems, cuantifican a las variables predicativas. Comprende dos grandes captulos: la lgica de proposiciones y la lgica de predicados. a) La lgica de proposiciones estudia las relaciones formales extraproposicionales, es decir, aquellas relaciones existentes entre proposiciones y no las que se dan dentro de ellas. Se la denomina, tambin, lgica de las proposiciones sin analizar. Dispone de medios de anlisis formal (lenguaje simblico y Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

mtodos especficos) de las inferencias, y la validez de stas se determina por las relaciones entre proposiciones consideradas como un todo, sin penetrar en su estructura interna. b) La lgica de predicados estudia fundamentalmente las relaciones estructurales existentes dentro de las proposiciones atmicas o simples. Es llamada, asimismo, lgica de las proposiciones analizadas. Su lenguaje y sus mtodos se ocupan del anlisis de las inferencias cuya validez se juzga en razn de la estructura interna de las proposiciones que las componen. La lgica de proposiciones est incluida en ella. Ejemplo de una inferencia (silogismo): Todos los abogados son profesionales Todos los constitucionalistas son abogados Luego, todos los constitucionalistas son profesionales.

c) La lgica de relaciones es un caso particular de la lgica de predicados, es decir, cuando los predicados tienen ms de un argumento. d) La lgica de clases, en trminos generales, es una versin extensional de la lgica de predicados. En efecto, si adoptamos los trminos clsicos extensin y comprensin, podemos decir que cada clase es la extensin de un predicado y que los predicados son clases vistas en su comprensin. La lgica de proposiciones es la parte ms elemental de la lgica moderna o matemtica. La lgica de proposiciones estudia las relaciones formales extraproposicionales, es decir, aquellas relaciones existentes entre proposiciones y no las que se dan dentro de ellas.

LGICA PROPOSICIONAL
Concepto de proposicin La proposicin es una oracin aseverativa de la que tiene sentido decir que es verdadera o falsa. Ejemplos: a) Dolly fue la primera oveja clonada. b) El tomo es una molcula. a) y b) son ejemplos de proposiciones, porque tiene sentido decir que a) es verdadera y que b) es falsa. En consecuencia, la verdad y la falsedad son sus propiedades, es decir, slo las proposiciones pueden ser verdaderas o falsas. Expresiones lingsticas que no son proposiciones Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones. En efecto, las oraciones interrogativas, las exhortativas o imperativas, las desiderativas y las exclamativas o admirativas no son proposiciones porque ninguna de ellas afirma o niega algo y, por lo tanto, no son verdaderas ni falsas. c) Qu es la lgica? Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

d) Debemos honrar a nuestros hroes. e) Sea en hora buena. f) Por Jpiter! Casi me saco la lotera! g) Quiz llueva maana. h) Valentn es bueno. Finalmente, toda proposicin es una oracin aseverativa, pero no toda oracin aseverativa es una proposicin. Ejemplos: j) El tringulo es inteligente. k) Eduardo es un nmero racional. l) x + 3 = 5 m) a es la capital del Per. j), k), l) y m) son ejemplos de oraciones aseverativas, mas no de proposiciones. j) e k) son expresiones lingsticas que tienen apariencia de proposiciones, pero que realmente no lo son porque no tiene sentido decir de ellas que son verdaderas o falsas. De l) y m) no podemos determinar su valor de verdad ya que no sabemos cul es el valor a adoptar en cada variable. En conclusin: Para que una expresin lingstica sea proposicin debe cumplir con los siguientes requisitos: 1) Ser oracin. 2) Ser oracin aseverativa, y 3) Ser o bien verdadera o bien falsa.

Actividad N 1:Analice las siguientes expresiones lingsticas e indique si son o no proposiciones, en el caso de que no lo sea indicar el tipo de expresin lingustica:
i) Juan es bondadoso.

a) La nueva Constitucin Poltica del Per fue


sancionada y promulgada Constituyente en 1993. por la Asamblea

j) No engaes nunca a nadie.

b) El presidente de la Repblica es el Jefe del Estado y personifica a la Nacin (Constitucin Poltica del Per, Art. 110). c) Quin es el pez gordo del narcotrfico? d) Sea en hora buena. e) Por fin lleg la primavera! f) Los nmeros racionales son inteligentes. g) Que tengan ustedes buen viaje. h) Slo s que nada s.

k) Quiz existan miles de millones de universos. l) Los organismos superiores tienen pulmones porque necesitan respirar. m) a es la capital del Per. n) x + y = y + x o) Los planetas del sistema solar, a excepcin de Plutn, ocupan prcticamente el mismo plano con respecto al Sol.

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum p) El nmero 5 sonri. q) Los cuerpos sin apoyo caen aceleradamente en proporcin directa al cuadrado del tiempo de cada. r) x es un nmero par. s) Los electrones son partculas que se encuentran alrededor del ncleo del tomo. t) La semana tiene y das.

Clases de proposiciones stas pueden ser de dos clases: atmicas y moleculares. Las proposiciones atmicas (simples o elementales) carecen de conjunciones gramaticales tpicas o conectivas (y, o, si... entonces, si y slo si) o del adverbio de negacin no. Ejemplos: a) San Marcos es la universidad ms antigua de Amrica. b) La lgica es distinta a la matemtica. Las proposiciones atmicas de acuerdo a sus elementos constitutivos pueden clasificarse en predicativas y relacionales. Las proposiciones predicativas constan de sujeto y predicado. Ejemplos: c) El nmero 2 es par. d) El espacio es relativo. Las proposiciones relacionales constan de dos o ms sujetos vinculados entre s. Ejemplos: e) Silvia es hermana de Anglica. f) 5 es mayor que 3. Las proposiciones moleculares (compuestas o coligativas) contienen alguna conjuncin gramatical tpica o conectiva o el adverbio negativo no. Ejemplos: g) La lgica y la matemtica son ciencias formales. h) El tiempo es absoluto o es relativo. i) Si dos ngulos adyacentes forman un par lineal, entonces son suplementarios. j) Este nmero es par si y slo si es divisible por dos. k) El Inca Garcilaso de la Vega no es un cronista puneo.

Clasificacin de las proposiciones moleculares Las proposiciones moleculares, segn el tipo de conjuncin que llevan, se clasifican en conjuntivas, disyuntivas, condicionales y bicondicionales; si llevan el adverbio de negacin no se llaman negativas. Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Las proposiciones conjuntivas llevan la conjuncin copulativa y, o sus expresiones equivalentes como e, pero, aunque, aun cuando, tanto... como..., sino, ni... ni, sin embargo, adems, etc. Las proposiciones disyuntivas llevan la conjuncin disyuntiva o, o sus expresiones equivalentes como u, ya... ya, bien...bien, ora... ora, sea... sea, y/o, etc. En espaol la disyuncin o tiene dos sentidos: uno inclusivo o dbil y otro exclusivo o fuerte. La proposicin disyuntiva inclusiva admite que las dos alternativas se den conjuntamente. La proposicin disyuntiva exclusiva no admite que las dos alternativas se den conjuntamente. Las proposiciones condicionales llevan la conjuncin condicional compuesta si... entonces..., o sus expresiones equivalentes como si, siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, slo si, solamente si. Toda proposicin condicional consta de dos elementos: antecedente y consecuente. La proposicin que sigue a la palabra si se llama antecedente y la que sigue a la palabra entonces se denomina consecuente. Finalmente, en toda proposicin condicional el consecuente es condicin necesaria del antecedente y el antecedente es condicin suficiente del consecuente. Por ejemplo: En la proposicin condicional si los cuerpos se calientan, entonces se dilatan, el consecuente se dilatan es condicin necesaria del antecedente se calientan y el antecedente se calientan es condicin suficiente del consecuente se dilatan. Las proposiciones bicondicionales llevan la conjuncin compuesta ... s y slo si..., o sus expresiones equivalentes como cuando y slo cuando, si..., entonces y slo entonces..., etc. Las proposiciones bicondicionales se caracterizan porque establecen dos condicionales, pero de sentido inverso. Por ejemplo: La proposicin bicondicional el tringulo es equiltero si y slo si tiene tres lados iguales establece dos condicionales de sentido inverso: si es tringulo equiltero, entonces tiene tres lados iguales y si el tringulo tiene tres lados iguales, entonces es equiltero. En toda proposicin bicondicional el antecedente es condicin necesaria y suficiente del consecuente y el consecuente es condicin necesaria y suficiente del antecedente. Las proposiciones negativas llevan el adverbio de negacin no, o sus expresiones equivalentes como nunca, jams, tampoco, no es verdad que, no es cierto que, es falso que, le falta, carece de, sin, etc.

Actividad N 2: Determine si las siguientes proposiciones son atmicas o moleculares:


a) Osama y Omar son concuados. b) Toda inferencia inductiva es una inferencia en trminos de probabilidad. Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

c) Hace unos aos se consideraba al computador como una gran calculadora, pero hoy se habla de sus logros intelectuales. d) El oxgeno no produce xido en presencia de metaloides. e) Tanto la suma como la multiplicacin de nmeros naturales son asociativas. f) Los peces son acuticos puesto que respiran por branquias. g) La suma de los ngulos internos de un tringulo es igual a 180. h) Gloria e Irene son contemporneas. i) El abuelo y la abuelita obsequiaron una mueca a su nieta. j) Hace aproximadamente 1 750 000 aos el Homo habilis desapareci para ser reemplazado por un individuo ms fornido, conocido como Homo erectus. k) Una lgica se dice paraconsistente si puede ser la lgica de teoras inconsistentes pero no triviales. l) A la descomposicin qumica de una sustancia en iones por la accin de la corriente elctrica se llama electrolisis. m) Los trminos lenguaje objeto y metalenguaje no son absolutos sino relativos. n) Por razones an no conocidas, el hombre de Neanderthal desapareci hace unos 40 mil aos y cedi el lugar a un individuo venido del este: el

hombre directo.

de

Cro-Magnon,

nuestro

ancestro

o) Decir que la inteligencia es hereditaria es defender la idea de que nuestras facultades intelectuales se transmiten de padres a hijos casi de la misma manera que el color de los ojos. p) As pues, no hay forma de argumentar en contra de las ideas de Aristteles sobre la base de las creencias formuladas en el vocabulario, pero no a la inversa. q) La diferencia que hay aqu entre Sellars y Davidson es la diferencia entre alguien que se toma en serio la pregunta Existe en realidad aquello sobre lo que hablamos? y alguien que no. r) Liberalismo burgus posmoderno fue una contribucin a un simposio sobre La responsabilidad social de los intelectuales, celebrado en la reunin anual de 1983 de la divisin oriental de la Asociacin Americana de Filosofa. s) Me parece que la izquierda posmarxista actual difiere de la marxista anterior principalmente en que esta ltima tena en mente una revolucin concreta. t) La concepcin que denomino pragmatismo es casi la misma que la que Hilary Putnam denomina la concepcin internalista de la filosofa.

Actividad N 3: Determine si las siguientes proposiciones moleculares son conjuntivas,

disyuntivas inclusivas, disyuntivas exclusivas, condicionales, bicondicionales o negativas:


a) Si el ciclotrn bombardea el tomo, entonces acelera la velocidad de los protones. b) Todos los cuerpos se atraen con una fuerza directamente proporcional al producto de sus masas e inversamente proporcional al cuadrado de la distancia que los separa. c) Un ejemplo tpico de la falacia del crculo vicioso es la famosa prueba del quinto postulado de Euclides o postulado de las paralelas. d) El 20% de 150 es 30 50. e) Dos ngulos son suplementarios siempre que formen un par lineal. Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

f) La huelga contina, pues no hay solucin. g) Si consigo una beca, entonces y slo entonces viajar al extranjero. h) Si se calienta un cuerpo, entonces se dilata; y si se enfra, entonces se contrae. i) Cuando apruebe el examen de admisin ingresar a la universidad. j) David no es limeo ni loretano. k) Si la distancia entre el Sol y la Tierra hubiera diferido en apenas un 5 por ciento, ninguna forma

de vida habra podido surgir y nuestro planeta habra sido un desierto. l) Sin la aparicin de las galaxias, sin la formacin de estrellas masivas, sin el paso por el estadio de supernova, jams habran podido existir el hombre ni la vida. m) Francis Fukuyama proclamaba el fin de la historia y la muerte de toda ideologa, puesto que era liberal.

EL LENGUAJE FORMALIZADO DE LA LGICA PROPOSICIONAL El lenguaje natural y el lenguaje formalizado Existen dos tipos fundamentales de lenguajes: el natural y el formalizado. El lenguaje natural es el lenguaje usado en la vida familiar, en la vida cotidiana. El lenguaje formalizado es el lenguaje usado en la actividad cientfica. Slo sirve para formular conocimientos. Es un lenguaje especializado. Pertenecen a este lenguaje, por ejemplo, el lenguaje lgico y el matemtico. El lenguaje lgico se denomina formalizado porque su propiedad ms importante es la de revelar la forma o estructura de las proposiciones e inferencias. El lenguaje formalizado de la lgica de proposiciones consta de dos clases de signos: variables proposicionales y operadores o conectores lgicos. Las variables proposicionales representan a cualquier proposicin atmica. Son letras minsculas del alfabeto castellano p, q, r, s, etc.

Los operadores lgicos adems de enlazar o conectar proposiciones establecen determinadas operaciones entre ellas. Son de dos clases: didicos y el mondico. Los operadores didicos tienen un doble alcance: hacia la izquierda y hacia la derecha, es decir, afectan a dos variables. Y son los siguientes: El conjuntivo: representa a la conjuncin y. Su smbolo es

El disyuntivo: representa a la conjuncin o. Puede ser inclusivo y exclusivo. El smbolo del inclusivo es ; el del exclusivo es .

El condicional: representa a la conjuncin compuesta si... entonces. Su smbolo es

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

El bicondicional : representa a la conjuncin compuesta si y slo si. Su smbolo es Negacin conjunta: representa a las partculas ni...ni. Su smbolo es Negacin alterna: representa a la expresin no o no. Su smbolo es

El Negativo: Es el operador mondico y tiene un solo alcance: hacia la derecha, es decir, afecta a una sola variable. Es el operador de la negacin. Representa al adverbio negativo no. Su smbolo es .

Formalizacin de proposiciones Formalizar una proposicin significa abstraer su forma lgica, es decir, revelar su estructura sintctica a travs del lenguaje formalizado de la lgica. En trminos ms sencillos, formalizar una proposicin equivale a representarla simblicamente. Toda proposicin tiene su forma lgica y su frmula. La forma lgica de una proposicin es otra proposicin equivalente a la primera con la diferencia de que en ella toda su estructura sintctica est completamente explicitada. A partir de aqu, su frmula no es otra cosa que la que resulta de sustituir a toda proposicin atmica distinta por una variable proposicional tambin distinta, a toda conjuncin gramatical por el operador lgico correspondiente y el adverbio no por el operador negativo. Ejemplos de formalizacin de proposiciones: a) Kant es filsofo, pero Frege es lgico Forma lgica: Kant es filsofo y Frege es lgico. Frmula: p: Kant es filsofo. q: Frege es lgico.

b) No iremos al teatro a menos que venga Ral. Forma lgica: Si Ral viene, entonces iremos al teatro. Frmula: p: Ral viene. q: iremos al teatro.

q
Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Actividad N 4: Formalice las siguientes proposiciones: en cada caso halle su forma lgica y escriba la frmula correspondiente.
a) Si eres talibn, entonces eres fundamentalista. b) No como ni duermo. c) La universidad est sin rector. d) En los pases democrticos no hay delito de opinin, tampoco prisin por deudas. e) Ni Juan ni Pedro ni Felipe te darn la razn. f) A nadie quiso escribir, ni a sus ms ntimos amigos. g) Tanto Carlos como Federico son ateos porque son materialistas. h) Si hay ley, razn y justicia en el mundo, no suceder lo que temes. i) Aunque est enfermo, no faltar a la cita. j) No lo hizo Antonio, sino David. k) Las declaraciones obtenidas por la violencia carecen de valor. l) El dinero hace ricos a los hombres, pero no dichosos. m) No pudo asistir porque estuvo ausente. n) Los actos del Presidente de la Repblica son nulos siempre que no tengan refrendacin ministerial. o) De saberlo antes, habra venido. p) Cuando t lo dices, verdad ser. q) Sin su libre consentimiento, sin la debida retribucin, no se le puede obligar a prestar trabajo. r) Se te enviar el diploma, bien por el correo de hoy, bien por el de maana. s) Sufre la pena, pues cometiste la culpa. t) Los yacimientos y restos arqueolgicos son patrimonio cultural de la Nacin, estn bajo el amparo del Estado y la ley regula su conservacin.

Formalizacin de inferencias Una inferencia (razonamiento, deduccin, argumentacin o argumento) es una operacin lgica que consiste en derivar a partir de la verdad de ciertas proposiciones conocidas como premisas la verdad de otra proposicin conocida como conclusin. Las premisas de una inferencia son proposiciones que ofrecen las razones para aceptar la conclusin. Preceden a las premisas, en inferencias desordenadas (ejemplo anterior), las palabras puesto que, ya que, pues, porque, siempre que, si, etc. La conclusin de una inferencia es la proposicin que se afirma sobre la base de las premisas. Preceden a la conclusin las palabras luego, por tanto, por consiguiente, en consecuencia, etc. Adems, en inferencias desordenadas, la proposicin inmediatamente anterior a las palabras que preceden a las premisas es la conclusin.

antecedente

consecuente
Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Por ejemplo: Felipe no ser expulsado del club a menos que l cometa actos de traicin e inmoralidad. No ha sido expulsado. En consecuencia, no ha cometido actos de traicin ni de inmoralidad. Forma lgica: 1. Si Felipe comete actos de traicin y actos de inmoralidad, entonces ser expulsado del club. 2. Felipe no ha sido expulsado del club. Luego, Felipe no ha cometido actos de traicin y no ha cometido actos de inmoralidad. Frmula: p: Felipe comete actos de traicin. q: Felipe comete actos de inmoralidad. r: Felipe ser expulsado del club.

1. 2.

Actividad N 5: Formalice las siguientes inferencias: en cada caso halle su frmula lgica y escriba la frmula correspondiente. a) Osama bin Laden es un fundamentalista religioso y Hitler es un fundamentalista poltico. Luego, Hitler es un fundamentalista poltico. b) Esta figura no es un cuadriltero, puesto que es un tringulo. Es un tringulo. En consecuencia, no es un cuadriltero. c) Si la suma de dos nmeros naturales es conmutativa, entonces si cambiamos el orden de los sumandos, se obtiene la misma suma. La suma de dos nmeros naturales es conmutativa. Por tanto, se obtiene la misma suma si cambiamos el orden de los sumandos. d) Un cuerpo est en estado neutro y no presenta ningn fenmeno elctrico en su conjunto siempre que su carga elctrica positiva est en estado igual a la negativa. Pero es falso que el cuerpo est en estado neutro y no presente ningn fenmeno elctrico en su conjunto. En consecuencia, la carga elctrica positiva de un cuerpo est en estado igual a la negativa. e) Se llama falacia o sofisma si una inferencia invlida tiene la apariencia de ser vlida. Se llama falacia o sofisma. Luego, la inferencia invlida tiene la apariencia de ser vlida. f) Este tringulo no se llama equiltero a menos que tenga tres lados iguales. Si se llama equiltero, no se llama issceles. En consecuencia, si tiene tres lados iguales, no se llama issceles. g) Sin variables ni operadores, no hay lenguaje lgico posible. No hay variables ni operadores. Por tanto, no hay lenguaje lgico posible.

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Tabla de verdad de los operadores lgicos


De la conjuncin

De la disyuncin inclusiva

De la disyuncin exclusiva

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Del condicional

Del bicondicional

De la negacin

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Tablas de verdad de frmulas moleculares complejas


Para definir tabularmente frmulas moleculares complejas se deben observar los siguientes pasos: Paso 1. Dada la frmula molecular compleja se establece la jerarqua entre sus operadores a travs de los signos de agrupacin.

Paso 2. Se construye las matrices secundarias que corresponden a las de los operadores de menor jerarqua.

Paso 3. Se construye, finalmente, la matriz principal que corresponde a la del operador de mayor jerarqua.

Actividad N6: realizar la tabla de verdad de las siguientes frmulas: Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

a) p q p q

b) (~ q ~ p) ( p ~ q)

c) p q q p

Clasificacin de las frmulas moleculares por su matriz principal Las tablas de verdad nos permiten clasificar a las frmulas moleculares, atendiendo a su matriz principal, en tautolgicas, consistentes y contradictorias. Las frmulas moleculares tautolgicas (FMT), llamadas tambin leyes lgicas, son aquellas en que los valores de su matriz principal son todos verdaderos.

Frmulas moleculares consistentes (FMC), son aquellas en que algunos de los valores de su matriz principal son verdaderos y algunos son falsos.

Frmulas moleculares contradictorias (FMCT), denominadas tambin frmulas inconsistentes, son aquellas en que los valores de su matriz principal son todos falsos.

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Actividad N 7: Determine si las siguientes frmulas proposicionales corresponden a una tautologa, contingencia o contradiccin. a) Si no estudias, no aprobars. Si estudias te premiarn. Por lo tanto, si apruebas te premiarn.

b) Si estoy en Crdoba, no estoy en Tucumn y si estoy en Tucumn no estoy en Crdoba. Por lo tanto, no se da el caso en que este en Crdoba y Tucumn.

Equivalencia de frmulas Dos frmulas A y B son equivalentes si y slo si sus matrices son iguales; si sus matrices son diferentes, se dice que A y B no son equivalentes.

ANLISIS DE INFERENCIAS
La lgica es una ciencia formal que estudia la validez de las inferencias. Para decidir su validez la lgica cuenta con procedimientos de varios tipos. Estos procedimientos o mtodos pueden agruparse en dos clases: mtodos sintcticos y mtodos semnticos. Los mtodos sintcticos consisten en transformaciones puramente lgicas a partir de ciertas reglas de inferencia. Los mtodos semnticos vinculan la nocin de validez con la de verdad. Mtodos Semnticos: Tabla de verdad Una inferencia es vlida, mediante la tabla de verdad, si y slo si al ser formalizada y evaluada su frmula condicional es una tautologa; es invalida si la frmula condicional es consistente o contradictoria. Ejemplos: a) El tringulo se llama issceles si tiene dos lados iguales. No se llama issceles. En consecuencia, no tiene dos lados iguales. Forma lgica: 1. Si el tringulo tiene dos lados iguales, entonces el tringulo se llama issceles. 2. El tringulo no se llama issceles. Luego, el tringulo no tiene dos lados iguales. Frmula: Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

p: el tringulo tiene dos lados iguales. q. el tringulo se llama issceles. 1. 2.

Frmula condicional:

Evaluacin:

La inferencia analizada es vlida porque su frmula condicional es una tautologa.

Actividad N 8: Determine mediante la tabla de verdad si las siguientes inferencias son vlidas o invlidas: a) Si se levanta la veda, entoces se podr pescar anchoveta. No se puede pescar anchoveta. Luego, no se levant la veda. b) Si no se levanta la veda, entoces no se podr pescar anchoveta. Se puede pescar anchoveta. En consecuencia, se ha levantado la veda. c) Si hay veda, entonces no se podr pescar atn. Hay veda. Por tanto, no se puede pescar atn. d) Si las aguas del mar peruano se enfran excesivamente, entonces no habr buena actividad pesquera. No habr buena actividad pesquera. En consecuencia, las aguas del mar peruano se enfran excesivamente. e) Si el mar peruano se calienta excesivamente, no habr buena actividad pesquera. El mar Pgina | 1 peruano no se calienta excesivamente. Luego, habr buena actividad pesquera. f) Si hay especulacin con el tipo de cambio, se incrementar la cotizacin del dlar y devaluar el nuevo sol. Se ha incrementado la cotizacin del dlar y devaluado el nuevo sol. Por tanto, hay especulacin con el tipo de cambio. g) Si se incrementa la cotizacin del dlar y devala el nuevo sol, hay especulacin con el tipo de cambio. No hay especulacin con el tipo de cambio. Luego, es falso que se haya incrementado la cotizacin del dlar y devaluado el nuevo sol.

El mtodo abreviado Cuando el nmero de variables pasa de tres se torna engorroso el mtodo de la tabla de verdad. El mtodo consiste en lo siguiente: si de alguna manera es posible asignar valores veritativos a las frmulas atmicas constituyentes de la implicacin, que resulte verdadero el antecedente y falso el consecuente se demostrar que la inferencia es invlida. Procedimiento: a) Se supone verdadero el antecedente y falso el consecuente. b) Se determinan los valores de las variables del consecuente de manera que expresen la falsedad de ste. c) Se trasladan estos valores al antecedente y se designan los valores de las dems variables tratando de hacer verdadero el antecedente. d) Si se verifica la hiptesis, la frmula es no tautolgica, en consecuencia, la inferencia correspondiente ser invlida; si no se verifica la hiptesis, la frmula ser tautolgica, en consecuencia, la inferencia correspondiente ser vlida. Por ejemplo: Si eres fiscal, eres abogado. Si eres profesional, eres abogado. Luego, si eres fiscal, eres profesional Frmula: Procedimiento: a) Se supone V (verdadero) el antecedente y F (falso) el consecuente: V F

b) Se determina el valor de las variables del consecuente: V F V F F c) Se trasladan estos valores al antecedente y se asignan los valores a las dems variables: V V V V V F V V F F V F F

d) Habiendo asignado el valor de V a la variable q, las dos premisas han asumido el valor de verdad y todo el antecedente ha tomado el valor de verdad con lo que queda verificada la hiptesis siendo, por lo tanto, la frmula no tautolgica; es decir, la inferencia correspondiente invlida.

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Si eres cardilogo, eres mdico. Si eres mdico, eres colegiado. Luego, si eres cardilogo, eres colegiado.

Frmula: Procedimiento: Realizados los pasos hasta c), se llega a lo siguiente: V V V V F V F F V F V F F

Donde puede comprobarse que al falsear el consecuente se ha falseado una premisa y, falseando una premisa, se ha falseado todo el antecedente, lo que demuestra que la frmula es tautolgica, es decir, la inferencia correspondiente, vlida. Este mtodo tambin puede explicarse as: V V V V/F V F V F F V F F

Es decir, haciendo verdadero el antecedente, la variable q asume dos valores, lo que es contradictorio. Falseando el consecuente se llega a una contradiccin en el antecedente, lo que demuestra que la frmula es tautolgica, es decir, la inferencia es vlida. Actividad N 9: Mediante el mtodo abreviado determine si las siguientes inferencias son vlidas o invlidas:

Mtodos Sintcticos Principales reglas y leyes de la lgica proposicional Las leyes lgicas son tautologas o formas lgicamente verdaderas. Son frmulas verdaderas independientemente de los valores que asumen sus variables proposicionales componentes.

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

1) Regla del Modus Ponens (MP): A partir de una frmula condicional y de su antecedente, se obtiene su consecuente.

2) Regla del Modus Tollens (MT): A partir de una frmula condicional y de la negacin de su consecuente, se obtiene la negacin del antecedente.

3) Regla del Silogismo Hipottico (SH): A partir de dos frmulas condicionales, donde el consecuente de la primera es el antecedente de la segunda, se obtiene una condicional formada por el antecedente de la primera y el consecuente de la segunda.

4) Regla del Silogismo Disyuntivo (SD): A partir de una frmula disyuntiva y de la negacin de una de sus componentes, se obtiene la otra componente.

5) Regla del Dilema Constructivo (DC): A partir de dos frmulas condicionales y de la disyuncin de sus antecedentes se obtiene la disyuncin de sus consecuentes.

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

6) Regla del Dilema Destructivo (DD): A partir de dos frmulas condicionales y de la disyuncin de las negaciones de sus consecuentes, se obtiene la disyuncin de las negaciones de sus antecedentes.

7) Regla de la Simplificacin (Simp.): A partir de la conjuncin de dos frmulas se obtiene una de ellas.

8) Regla de la Conjuncin (Conj.): A partir de dos frmulas se obtiene la conjuncin de ambas.

9) Regla de la Adicin (Ad.): A partir de una frmula se obtiene la disyuncin de esa frmula con cualquier otra.

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Mtodo analgico Este mtodo consiste en comparar la forma o estructura de la inferencia que se quiere analizar con otra lgicamente vlida. Procedimiento: Paso 1. Se explicita su forma lgica. Paso 2. Se halla la frmula. Paso 3. Se confronta la frmula obtenida con las reglas de inferencia conocidas. Si la frmula coincide con una de estas reglas podemos inferir inequvocamente que la inferencia original es vlida; pero si la frmula obtenida atenta contra una de ellas entonces la inferencia no es vlida. Este mtodo es muy prctico aunque limitado a la confrontacin con una lista previa de reglas conocidas. Por ejemplo: a) Dos vectores son iguales si tienen la misma magnitud la misma direccin y sentido. Tienen la misma magnitud, la misma direccin y sentido. En consecuencia son iguales.

Forma lgica: 1. Si dos vectores tienen la misma magnitud y dos vectores tienen la misma direccin y dos vectores tienen el mismo sentido, entonces dos vectores son iguales. 2. Dos vectores tienen la misma magnitud y dos vectores tienen la misma direccin y dos vectores tienen el mismo sentido. Luego, dos vectores son iguales. Frmula: p: dos vectores tienen la misma magnitud. q: dos vectores tienen la misma direccin. r: dos vectores tienen el mismo sentido. s: dos vectores son iguales.

Como coincide con la estructura vlida del Modus Ponens, la inferencia es vlida por MP. Actividad N 10: determinar mediante el mtodo analgico si las siguientes inferencias son vlidas: a) Si no se puede pescar anchoveta ni atn, entonces las aguas del mar peruano se han enfriado o calentado excesivamente. Las aguas del mar peruano se han calentado o enfriado excesivamente. Por tanto, no se puede pescar anchoveta ni atn. Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

b) La tragedia de Mesa Redonda dej cerca de trescientos muertos, doscientos desaparecidos, ms de doscientos cincuenta heridos y setecientos locales devastados. En consecuencia, dej diez millones de dlares en prdidas materiales.

Equivalencias tautolgicas 1. Tautologa (Tau)

2. Doble Negacin (DN)

3. De Morgan (De M)

4. Conmutacin (Conm.)

5. Asociacin (Asoc.)

6. Distribucin (Dist.)

7. Definicin de Implicacin Material (Impl.)

8. Definicin de Equivalencia Material (Equiv.)

9. Definicin de Disyuncin Exclusiva (Def. DE) Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

10. Transposicin (Trans.)

11. Exportacin (Exp.)

12. Expansin (Expan.)

13. Absorcin (Abs.)

EL MTODO DE LA DEDUCCIN NATURAL Dada una inferencia cualquiera, el proceso derivativo consta de los siguientes pasos: Paso 1. Se asigna a cada proposicin atmica su correspondiente variable. Paso 2. Se simbolizan las premisas y la conclusin disponiendo aqullas en forma vertical y escribiendo la conclusin a continuacin de la ltima premisa en el mismo rengln. Entre la ltima premisa y la conclusin se escribe una barra separadora seguida del smbolo que se lee luego o por lo tanto. Paso 3. Se procede a ejecutar las derivaciones tomando como punto de partida cualquiera de las premisas, siempre que sea factible, e indicando a la derecha en forma abreviada de qu premisas y mediante qu ley o regla se ha obtenido la nueva expresin.

Prueba directa (PD) Sea la inferencia siguiente: Si hay abundancia de peces, habr abundante harina de pescado. Si hay abundante harina de pescado, se incrementa la exportacin. La exportacin no se incrementa. O hay abundancia de peces o ser preciso recurrir a otras actividades. Luego, ser preciso recurrir a otras actividades. a) Se halla su forma lgica: 1. Si hay abundancia de peces, entonces habr abundante harina de pescado. 2. Si hay abundante harina de pescado, entonces se incrementa la exportacin Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

3. La exportacin no se incrementa. 4. O hay abundancia de peces o ser preciso recurrir a otras actividades. Luego, ser preciso recurrir a otras actividades. b) Se halla su frmula: se determinan las variables y se expresan simblicamente las premisas y la conclusin p: hay abundancia de peces q: hay abundancia de harina de pescado r: se incrementa la exportacin. s: ser preciso recurrir a otras actividades

c) Se efectan las derivaciones

Habindose obtenido la conclusin, puede afirmarse que la inferencia original es correcta o vlida. No es necesario, ni siempre es posible, comenzar las derivaciones por la primera premisa; se puede comenzar por cualquier otra, siempre que ello sea posible.

Actividad N 11: Justifique las siguientes demostraciones mediante el mtodo de la deduccin natural: a)

b)

c)

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

d)

Actividad N 12: Demuestre por la prueba directa (PD): a) d)

b)

e)

c)

f)

La prueba condicional (PC) La prueba condicional (PC) es una modalidad dentro del mtodo de la deduccin natural y se aplica en los casos en que una inferencia tenga conclusin condicional o implicativa. En efecto, siendo la conclusin una frmula condicional o implicativa necesariamente tendr antecedente y consecuente. Para saber si una conclusin de este tipo se deriva de las premisas dadas se agrega el antecedente de la conclusin a las premisas, y luego, aplicando a este nuevo conjunto de premisas las reglas o leyes lgicas ya conocidas, se realizan las derivaciones hasta obtener el consecuente de la conclusin. Procedimiento: Dado el caso de que la conclusin de una inferencia sea una frmula condicional o implicativa: Paso 1. Se toma primeramente su antecedente y se introduce como una nueva premisa (PA: premisa adicional). Paso 2. Se efectan las derivaciones corriendo la demostracin hasta hallar el consecuente de la conclusin. Paso 3. Se une implicativamente la premisa adicional con el ltimo paso logrado de la demostracin. Ejemplo: a) Sea la forma inferencial siguiente: Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

b) Se introduce la premisa adicional

c) Se efectan las derivaciones

d) Se unen implicativamente la premisa adicional con el ltimo paso logrado

Actividad N 13: Demuestre mediante la prueba condicional (PC):

a)

e)

f) b)

g) c)

d)

La prueba por la reduccin al absurdo (PRA) Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Consiste en introducir como premisa adicional la negacin de la conclusin para llegar a encontrar una contradiccin en las premisas. Es decir, se supone la falsedad del consecuente para llegar a la falsedad del antecedente, mostrando de esta manera que la conclusin se halla implicada en las premisas (demostracin indirecta). Procedimiento Dada una inferencia cualquiera: a) Se niega la conclusin y se introduce como una nueva premisa (PA: premisa adicional). b) Se efectan las derivaciones corriendo la demostracin hasta encontrar una contradiccin. c) Se une en forma condicional o implicativa la premisa adicional con la contradiccin hallada, a travs de la regla de la prueba condicional (PC). d) Se establece la conclusin deseada como una inferencia lgicamente deducida de las premisas originales, aplicando la regla de la prueba por la reduccin al absurdo (PRA)

Por ejemplo: a) Sea la forma inferencial siguiente:

b) Se introduce la premisa adicional

c) Se efectan las derivaciones

d) Se aplica la regla de la PC

e) Se aplica la regla de la PRA (10)

Pgina | 1

ISFD N 111 Moreno, Profesorado de Educacin Primaria, Ctedra Taller de Pensamiento Lgico Matemtico. Prof. Daniel Marcelo Assum

Actividad N 14: Demuestre mediante la prueba de reduccin al absurdo (PRA): a) d)

b) e)

c)

Pgina | 1