TABLA DE CONTENIDO

Tabla de contenido Introduccin a la lgica Concepto de lgica Conectivos lgicos Enunciado abierto Enunciado cerrado Concepto de proposicin Clasificacin de proposicin Clasificacin de proposicin compuesta Valor de verdad de las proposiciones Tabla de verdad de las proposiciones Concepto de tautologa Concepto de contradiccin Concepto de contingencia Ej. De tablas de verdad con 3 proposiciones Los cuantificadores Cuantificador universal Cuantificador existencial Reglas de equivalencia Inferencias inmediatas Algebra booleana de la lgica Demostracin matemtica Demostracin directa e indirecta Los argumentos y su estructura Razonamiento inductivo Razonamiento deductivo Bibliografa

DEDICATORIA
El presente trabajo lo dedicamos principalmente a Dios por darnos la sabidura necesaria, a nuestros padres por apoyarnos cotidianamente y en especial a nuestro profesor ROGER SOLANO CONTRERAS quien da a da nos imparte sus conocimientos.

INTRODUCCION A LA LOGICA
Es probable que en el siglo IV antes de la Era Comn, se iniciara con Aristteles el estudio de la Lgica; pero no fue hasta a mediados del siglo XIX cuando George Boole (1815-1864) inicia el estudio de lo que hoy se conoce como Lgica Matemtica. Uno de los fines de la enseanza matemtica es disciplinar la inteligencia, de ah el valor formativo de esta ciencia ya que necesita de exactitud y precisin en sus razonamientos. La inteligencia se disciplina a travs de un tipo especial de pensamiento que es el razonamiento. El objetivo de la lgica es estudiar la validez de los razonamientos. La validez de la lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Por medio de un enunciado con sentido podemos emitir un juicio (actividad mental por medio de la cual pensamos algo) o un razonamiento (evaluacin mental por medio de la cual obtenemos conclusiones).

CONCEPTO DE LA LOGICA
La lgica es una relacin entre las premisas y la conclusin expresada a travs de una serie de smbolos matemticos y/o auxiliares llamados enunciados. Para su estudio, se divide en lgica formal, lgica aplicada y lgica simblica. Lgica formal: es la parte de la filosofa que estudia las formas y leyes generales del pensamiento tendiente al conocimiento de la verdad y el error. Lgica Aplicada: es la que estudia las formas o estructura del pensamiento adaptndose al objeto de estudio de las distintas ciencias. Lgica las simblica: para lo es cual la que un estudia lenguaje sistemticamente las proposiciones, los razonamientos y demostraciones utiliza constituido por smbolos convencionales que representan estructuras. La lgica simblica es aquella que se refiere a las proposiciones y que tambin se conoce con el nombre de Calculo Propocional.

CONECTIVOS LOGICOS
Los conectivos lgicos son aquellos que sirven para formar proposiciones compuestas. Simblicamente los conectivos se representan del modo siguiente: Conectivo No Y O OO Si Entonces Si Solo Si Nombre Lgico Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Implicacin o Condicional Doble Implicacin o Bicondicional Smbolo ~ V V

ENUNCIADOS ABIERTOS Y ENUNCIADOS CERRADOS

Un enunciado: es un conjunto de smbolos por medio de los cuales expresamos lo pensado en un juicio, ya sea en forma oral o escrita: - Enunciados Abiertos o simples: son aquellos que tiene un nico valor de verdad. Es el que no tiene otro enunciado como parte componente. Ejemplo: Las rosas son rojas. - Enunciados Cerrados o compuestos: un enunciado compuesto contiene otro enunciado como componente. Ejemplo: Las rosas son rojas y las violetas son azules.

CONCEPTO DE PROPOSICIONES
Una proposicin es una oracin declarativa de la cual podemos asegurar que es verdadera o que es falsa, pero no ambas situaciones a la vez. Ejemplo : Lima es la capital del Per La luna es un satlite de plutn 2+5=0 x+y > 1, x,y |R

CLASIFICACION DE LAS PROPOSICIONES

Proposiciones simples o atmicas: son aquellas que constan de un solo enunciado. Proposiciones compuestas o moleculares: son las que constan de dos o ms proposiciones simples entrelazadas por ciertas particularidades lgicas llamadas conectivos lgicos.

CLASIFICACION DE PROPOSICIONES COMPUESTAS

- La Negacin: la conectiva no es la que se antepone a una proposicin para cambiar su valor de verdad y se representa por el siguiente smbolo ~. - La Conjuncin: es una proposicin compuesta que se obtiene al unir dos proposiciones simples unidas o entrelazadas mediante el conectivo y, y se representa con el siguiente smbolo: . - La Disyuncin Inclusiva: es una proposicin compuesta de dos proposiciones simples unidas por el conectivo lgica o, que se representa de la manera siguiente: V.
6

- La Disyuncin Exclusiva: es una proposicin compuesta por dos proposiciones simples entrelazas por el conectivo oo y se representa as: V. - La Condicional o Implicacin: es la combinacin de dos proposiciones unidas por la conectiva si entonces, que se representa de la forma siguiente: . La proposicin que aparece entre las palabrasSi y Entonces, se denomina antecedente o hiptesis y la que aparece despus de la palabra Entonces, se le llama consecuente o conclusin. - La Bicondicional o Doble Implicacin: es una proposicin que se obtiene al unir dos proposiciones simples mediante el conectivo si y solo si y se representa as:

VALOR Y TABLA DE VERDAD DE LAS PROPOSICIONES COMPUESTAS

LA NEGACIN: si una proposicin (sea simple o compuesta) es verdadera, su negacin es falsa y viceversa.

LA CONJUNCIN: esta proposicin solo es verdadera cuando las dos proposiciones que la forman son verdaderas, y en los dems casos ser falsa.

LA DISYUNCIN Inclusiva: esta proposicin es falsa nicamente cuando las dos proposiciones que la forman son falsa, en caso contrario es verdadera.

LA DISYUNCIN EXCLUSIVA: esta solo ser verdadera cuando las dos proposiciones que la componen tienen diferentes valores de verdad, en caso contrario es falsa. P V V F F q V F V F pv q F V V F

LA CONDICIONAL O IMPLICACIN: una condicional solo es falsa cuando su antecedente es verdadero y el consecuente es falso; en lo dems casos la condicional es verdadera.

LA BICONDICIONAL O DOBLE IMPLICACIN: esta solo es verdadera cuando las dos proposiciones que la forman tiene el mismo valor de verdad, es decir, cuando las dos proposiciones que la forman ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es falsa.

TABLA DE VERDAD DE LAS PROPOSICIONES COMPUESTAS

Negacin: p V F P V V F F ~p F Conjuncin: V q p q V F V F V F F F

Disyuncin Inclusiva: P q

pv q
10

V V F F

V F V F

V V V F

Disyuncin Exclusiva: P q

pv q V V F V F V F V V F F F Condicional o Implicacin: P q p q V V V V F F F V V F F V Bicondicional o Doble Implicacin: P q p q V V V V F F F V F F F V

CONCEPTO DE TAUTOLOGIA
Una proposicin compuesta es lgicamente verdadera o tautolgica cuando es verdadera siempre,
11

independientemente de los valores de verdad de las proposiciones simples que la forman. Ejemplo: p V V F F q V F V F pvq V V V F p p v q) V V V V

CONCEPTO DE CONTRADICCION
La contradiccin: es una proposicin compuesta que es falsa independientemente de los valores de verdad de las proposiciones que la formen.
12

Ejemplo: P V F ~p F V p q F F

CONCEPTO DE CONTINGENCIA
La contingencia: es la combinacin de la tautologa y la contradiccin. Ejemplo: P q p q V V V
13

V F F

F V F

F V V

EJEMPLOS DE TABLAS DE VERDAD CON TRES PROPOSICIONES

1) p V V V V F F F F 2) p V V V V F F F F q V V F F V V F F R V F V F V F V F q V V F F V V F F R V F V F V F V F pvq V V V V V V F F pq V V F F F F F F (p v q) r V F V F V F F F (p q) r V F V V V V V V

LOS CUANTIFICADORES
Los cuantificadores son smbolos que se usan en matemticas para expresar determinadas condiciones. Entre ellos tenemos el cuantificador universal y cuantificador existencial.

14

El papel de los cuantificadores es importante ya que un enunciado abierto precedido de un cuantificador se convierte en una proposicin falsa o verdadera. Ejemplo: As x + 2 = 4 es un enunciado abierto mientras que x R/x + 2 = 4 es una proposicin verdadera. Cuantificador Universal: se simboliza (que se lee:para todo, toda, todos todas), el smbolo viene de la palabra alemana Allzeicher que significa totalidad. El cuantificador universal indica que lo que se escribe a su derecha es verdadero para todo valor de la variable que lo acompaa. Ejemplo: x; p(x): para todo x; p(x) Sea p(x): x es una estudiante del 2do. ao del bachillerato del centro de estudios Gregorio Lupern, x B, B = {Jennifer, Wendy, Petronila, Pedro}. Todos los elementos de B son estudiante de l 2do. ao del bachillerato del centro de estudios Gregorio Lupern. Si anteponemos el cuantificador indica que en cada caso que x sea sustituido por uno de los nombres de B, entonces tiene que verificarse que sea un estudiante del centro de estudios Gregorio Lupern, entonces la expresin x; p(x) es verdadera. Cuantificador Existencial: se simboliza y se lee: algunos, existen, e indica que todas las funciones proposicionales que se escribes a su derecha se verifica para por lo menos un valor considero para la variable o variables de la funcin proposicional. Ejemplo: x; p(x); para algunos x; P(x) Sea p(x): x es un estudiante del 2do. ao del bachillerato del educativo Gregorio Lupern, x C, C = {Jenifer, Pedro, Ariel, Ral}. Pedro y Jenifer son estudiantes de 2do. ao del bachillerato. Ariel es un estudiante de 3er. ao del bachillerato. Ral es un estudiante de 4to. ao del bachillerato. x; p(x) es verdadera porque se verifica para algunos valores de los que la variable x puede tomar.

15

REGLAS DE EQUIVALENCIA
Si nosotros conmutamos 5 + 7 obtendremos la frmula equivalente de 7 + 5. Y en el lenguaje comn, las proposiciones "Arequipa es una ciudad peruana y Tumbes es una ciudad peruana", "Tumbes es una ciudad peruana y Arequipa es una ciudad peruana" son equivalentes. Al formalizar la proposicin "Arequipa es una ciudad peruana" con A, y "Tumbes es una ciudad peruana" con P, tenemos la frmula A P que conmutadas equivalen a P A. En lgica, el signo de equivalencia con el cual podemos relacionar las frmulas anteriores as:

(A P) (P A).

Tambin son equivalentes aquellas frmulas que, an teniendo escritura diferente, tienen valores de verdad idnticos y el mismo sentido. Por tanto, si unimos dos frmulas equivalentes mediante el bicondicionador y verificamos su valor de verdad, el resultado ser forzosamente tautolgico. As verificamos la frmula del ejemplo anterior A P (A P) (P A) 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 Ciertamente que se trata de una equivalencia tautolgica. Debe anotarse que las equivalencia no sirven, de por s, para llegar a nuevas conclusiones; con todo, prestan buenos servicios en los procesos inferenciales debido a que permiten cambios en la morfologa de una determinada frmula. Existen diversas equivalencias tautolgicas, pero se abordar las siguientes reglas lgicas utilizadas en procesos lgicos y matemticos: 1) La conmutacin: Si en las matemticas el orden de factores no altera el producto, en lgica el orden de los argumentos no altera el resultado en ningn caso, con excepcin en la implicacin. El ejemplo anterior es una clara conmutacin. Pero la frmula (A B) (B A) es una conmutacin incorrecta por tratarse de una implicacin. El mayor uso de la conmutacin tiene lugar en el caso de la conjuncin y de la disjuncin inclusiva: (a ^ b) (b ^ a) (a v b) (b v a) 2) La transposicin: la entendemos con el ejemplo "si llueve, hace fro" y "si no hace fro, es que no llueve" son equivalentes por transposicin. La formula A B, trasponindola, da origen a la equivalencia: (A B) (- B - A)

16

La transposicin es una especie de conmutacin con ayuda del negador. La implicacin es el nico caso que admite la transposicin. 3) La asociacin: La propiedad asociativa se denomina algunas veces principio de agrupacin para la adicin, significando que no importa la manera como se agrupen los nmeros para ser sumados. La equivalencia se da cuando representamos por A, B, C series de proposiciones unidas por el conjuntor y el disjuntor inclusivo, as: Lima, Arequipa y Trujillo son ciudades millonarias: A B C. Podemos ir a casa o al cine o a una discoteca: A v B v C. Utilizando los parntesis, los argumentos de las frmulas anteriores pueden quedar asociados as: (A B) C A (B C) (A v B) v C A v (B v C)

En las frmulas precedentes, la distinta colocacin de los signos de agrupacin no hace variar el valor de verdad de las mismas. As en el ejemplo 4 = a 2 + 2 1) 4 = 3 + 1 2) 4 = (2 + 1) + 1 3) (2 + 1) + 1 = 2 + (1 + 1) 4) 4 = 2 + (1 + 1) 5) 4 = 2 + 2 4) La distribucin: Se da la equivalencia si observamos la frmula siguiente: A (B v C). Evidentemente el conjuntor une A con B y C. La letra A de la frmula anterior puede distribuirse conjuntivamente con B y C por ser factores comunes, resultando las siguientes frmulas equivalentes: [A (B v C)] [(A B) v (A C)] Anlogamente realicemos las siguientes distribuciones: [A v (B C)] [(A v B) (A v C)] [A (B C)] [(A B) (A C)] [A (B v C)] [(A B) v (A C)] A continuacin debemos analizar una serie de definiciones, como de: 1) La disjuncin exclusiva: Si confrontamos las tablas de verdad del disjuntor exclusivo y del bicondicionador, se observar que sus valores son contrarios. Adems, si se niega el bicondicionador, resultarn debajo del negador los valores: - (A B) 0 1 1 0 1 0
17

0 1 lo cual nos permite observar que son los mismos que los de la disjuncin exclusiva. Por tanto, una disjuncin exclusiva equivale a una bicondicional negada representable por la frmula: (A w B) - (A B) 2) La bicondicional: Recordemos que el bicondicionador se presenta por la flecha doble. Consecuentemente, en la frmula A B se tiene que A implica a B y B implica a su vez a A. Por tanto, ambas letras son implicantes e implicadas. Y al observar lo anterior, podemos deducir la siguiente equivalencia: (A B) [A B) (B A) Por lo que queda claro que una condicional equivale a dos condicionales. 3) La condicional: Se da en equivalencias con trminos de conjuncin y disjuncin inclusiva. En trminos de conjuncin, conviene observar que la expresin "no es el caso que sea dependiente y no subdesarrollado" equivale a la condicional: si es dependiente entonces es subdesarrollado. Y representando cada una de las proposiciones por A y B sucesivamente, tenemos la siguiente equivalencia: (A B) -(A - B) INFERENCIAS INMEDIATAS Para vivir una vida creativa debemos aprender a perder el miedo a equivocarnos. Joseph C. Pearce El trmino inferencia se usa en diversos contextos. Por ello no es sorprendente que sean varias las definiciones dadas por los filsofos. Considerando la inferencia definida como el conjunto de todos los procesos discursivos, es necesario distinguir entre dos tipos de tales procesos: los inmediatos y los mediatos. El proceso discursivo inmediato da origen a la llamada inferencia inmediata, pues en ella se concluye una proposicin de otra sin intervencin de una tercera. El proceso discursivo mediato da origen a la llamada inferencia mediata, en la que se concluye una proposicin de otra por medio de otra u otras proposiciones. Las inferencias inmediatas y mediatas reciben tambin respectivamente los nombres de procesos discursivos simples y complejos. Entre los ltimos se han incluido la deduccin, la induccin y el razonamiento por analoga. Ejemplo de inferencia mediata es:

18

dependiente; subdesarrollado; dependiente",

"Todo pas subdesarrollado es Es as que Bolivia es pas Luego Bolivia es pas

pues observamos que para pasar de la primera premisa a la conclusin, se necesita de la mediacin de la segunda premisa; por tanto, el ejemplo es una premisa mediata. Si decimos: "Todo pas subdesarrollado es dependiente; luego no es el caso que existan pases subdesarrollados que no sean dependientes", observamos que no se ha utilizado una premisa intermedia, pues se pasa inmediatamente de una premisa a la conclusin.

Reglas de inferencias.
Se usan reglas de inferencia para cada conectiva. Dice que usamos reglas de inferencia para saber si un argumento es vlido. Hay dos reglas que se usan: Eliminacin Introduccin del condicional

Lenguaje natural Lenguaje formal Si llueve hace fro Si hace fro bajan las temperaturas : si llueve, bajan las temperaturas
1. P Q 2. QR (ver si deriva en: PR)

PQ QR PR

3P Supongo P 4Q eliminacin de la implicacin 1 y 3 5R eliminacin 2, 4 6P R Para relacionar P y R hay que separarlas.

19

ALGEBRA BOOLEANA DE LA LOGICA

Para este sistema matemtico la simbologa correspondiente es: A: El conjunto de todas las proposiciones Operaciones binarias: v Disyuncin Conjuncin Relacin de equivalencia: Elemento neutro: La contradiccin (0) para la disyuncin La tautologa (1) para la conjuncin Elemento inverso (a): La negacin de una proposicin La demostracin de que la lgica simblica es un algebra booleana corresponde a la verificacin de las siguientes propiedades: Sean p, q y r proposiciones del conjunto A. 1. Cerradura: p v q es una proposicin del conjunto A p q es una proposicin del conjunto A 2. Conmutativa: pvqqvp pqqp 3. Asociativa: (p v q) v r p v (q v r) (p q) r p (q r). 4. Distributiva: p v (q r) (p v q) (p v r) p (q v r) (p q) v (p r). 5. Identidad: En el conjunto A existe una proposicin que siempre es verdadera, llamada tautologa y simbolizada por 1, y otra que siempre es negativa, llamada contradiccin y simbolizada por 0, tales que: p v 0 p y p 1 p.

20

La tautologa y la contradiccin corresponden a los elementos neutros de la disyuncin y de la conjuncin respectivamente. Complementacin: Para cada proposicin p, existe en el conjunto A una Proposicin ~p, llamada la negacin de p, tal que: p v (~ p) 1 y p (~ p) 0 Es preciso recordar que las tablas de verdad son una herramienta para demostrar estas propiedades.

Demostracin matemtica
Una demostracin matemtica es un razonamiento realizado con una lgica vlida que progresa a partir de ideas que se dan por ciertas (llamadas hiptesis) hasta la afirmacin que se est planteando, o sea, hasta obtener la veracidad de la tesis formulada. Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin. El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso.

21

La demostracin indirecta

Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando que las consecuencias de su contraria son falsas. Ejemplo 1. Construir la demostracin indirecta de: Si x2 es par, entonces x es par, (con x entero) Suponga que existe al menos un entero x tal que x2 es par y x es impar. Por el ejemplo Analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es impar, Luego es imposible que x sea impar y que x2 sea par. Esta es la contradiccin buscada

LOS ARGUMENTOS Y SU ESTRUCTURA

Qu es un argumento
22

Son argumentos, argumentaciones, razonamientos, inferencias

Una cadena o secuencia de preferencias (afirmaciones), enunciados o proposiciones, una de las cuales, la conclusin, supuestamente est apoyada por las otras. Ejemplos: Dado que Dios es el ser ms perfecto y un ser perfecto debe poseer toda propiedad que es preferible tener que no tener, y es mejor existir que no existir, Dios existe (Deductivo) Llamazares debe ser holands, pues solamente los holandeses defienden el derecho a la adopcin de parejas homosexuales y Llamazares lo hace (Deductivo) TVE siempre ha estado controlada por el gobierno. Por tanto el prximo gobierno tambin lo har (Inductivo) Borjamari tiene que ser miembro del Opus Dei. El 90% de los afiliados al PP son miembros del Opus y Borjamari est afiliado al PP(Inductivo) Cul es la estructura de un argumento? Un argumento tiene premisa(s) y conclusin. Las premisas apoyan la conclusin, la conclusin se sigue, se infiere, recibe justificacin, etc. de la(s) premisa(s). Cmo se reconoce un argumento en el lenguaje natural (en espaol, por ejemplo)? Marcadores de premisas: dado que, ya que, teniendo en cuenta que, etc. Marcadores de conclusiones: en consecuencia, por tanto, etc. La conclusin y las premisas pueden aparecer en cualquier orden

RAZONAMIENTO INDUCTIVO Y DEDUCTIVO

El razonamiento es el proceso de obtener conclusiones a partir de suposiciones o hechos. El razonamiento correcto
23

es aquel en que las conclusiones se siguen necesariamente o inevitablemente de las suposiciones o hechos. Razonamiento Inductivo: proviene del latn inductio que quiere decir conducir, llevar a, introducir. El mtodo inductivo es el que se vale de la observacin de casos particulares para llegar a una conclusin general. Este parte de lo particular a lo general, de lo sencillo a lo completo, de lo fcil a lo difcil. Ejemplos: A) Juan es nio y juega, Mara es nia y juega, Todos los nios juegan. B) La manzana es una fruta y es saludable, El mango es una fruta y es saludable, Las frutas son saludables. C) El oro es un metal y brilla, La plata es metal y brilla, Todos los metales brillan. D) El gato es un animal y respira, La paloma es un animal y respira, Todos los animales respiran. E) Rosa es dominicana y orgullosa, Hctor es dominicano y orgulloso, Todos los dominicanos son orgullosos. Razonamiento deductivo: proviene del latn deductio que significa sacar o separa consecuencias de algo. El mtodo deductivo es aquel que parte de los datos generales aceptados como validos, para llegar a una conclusin de tipo particular. Ejemplos: A) Todos los nios juegan, Mara es una nia, Entonces Mara juega. B) Las frutas son saludables, La manzana es una fruta, La manzana es saludable.
24

C) Todos los metales brillan, La plata es metal, La plata brilla. D) Todos los animales respiran, El gato es un animal, El gato respira F) Todos los dominicanos son orgullosos, Hctor es dominicano, Hctor es orgulloso. Argumentos vlidos y argumentos correctos - Un argumento no es verdadero ni falso. Sus premisas y conclusiones lo son. - Un argumento es vlido si su conclusin se sigue de sus premisas. Que la conclusin se siga de las premisas es una cuestin que solamente atae a la forma, no al contenido. - Ejemplos de equivalentes argumentos (vlidos) formalmente

Pietro es italiano Todos los italianos adoran a Pantani Pietro adora a Pantani Fraga es comunista Todos los comunistas son amigos de Fidel Castro Fraga es amigo de Castro A es B Todos los B son C A es C - Ejemplos de equivalentes argumentos (invlidos) formalmente

25

Todos los obispos son reaccionarios Zaplana es reaccionario Zaplana es un obispo Todos los hobbits viven en la comarca Frodo vive en la comarca Frodo es un hobbit Todos los A son B X es B X es A Los argumentos son vlidos o invlidos, no hay tierra de nadie La validez es independiente de la verdad o falsedad de las premisas La validez slo depende de la relacin entre las premisas y la conclusin (se sostiene la conclusin en las premisas? puede la conclusin ser falsa y las premisas verdaderas?) Un argumento correcto es uno vlido cuyas premisas son verdaderas (y, por tanto, tambin lo es su conclusin). Esto es, un argumento correcto es simultneamente formalmente correcto (vlido) y materialmente adecuado (sus premisas son verdaderas). Un argumento vlido pero incorrecto (formalmente correcto, materialmente inadecuado) Los alumnos de lgica son inteligentes El Gran Wyoming es alumno de lgica El Gran Wyoming es inteligente Un argumento invlido con premisas falsas (formalmente incorrecto, materialmente inadecuado) Los alumnos de lgica son inteligentes El Gran Wyoming es alumno de lgica El Gran Wyoming no es inteligente

Un argumento invlido con premisas verdaderas y conclusin verdadera (formalmente incorrecto, materialmente adecuado)

26

Perico Delgado gan el Tour de Francia Los ganadores del Tour se drogan Perico Delgado gan una cronoescalada Cmo se muestra que un argumento es vlido? Deduciendo la conclusin de las premisas [esto puede hacerse de diversas formas: aplicando las reglas de inferencia a las premisas hasta llegar a la conclusin; suponiendo que la conclusin es falsa y por medio de la aplicacin de las reglas de inferencia a esa suposicin y las premisas llegando a una contradiccin; haciendo una tabla de verdad en la que siempre que todas las premisas sean verdaderas la conclusin tambin lo sea] Cmo se muestra que un argumento es invlido (o, con otras palabras, que la conclusin es independiente de las premisas)? Dando un contraejemplo, esto es, un caso en el que las premisas sean verdaderas y la conclusin falsa. En otras palabras, ofreciendo otro argumento con la misma forma en el que las premisas sean verdaderas y la conclusin falsa. Los dos siguientes son argumentos invlidos y el primero puede servir para mostrar la invalidez del segundo. Todos los obispos son reaccionarios; Zaplana es reaccionario; Zaplana es un obispo Todos los hobbits viven en la comarca; Frodo vive en la comarca; Frodo es un hobbit Forma lgica de ambos: Todos los A son B; X es B; X es A A= {Henrik, Carod-Rovira} B= {Henrik, Carod-Rovira, Tom Cruise} X= Tom Cruise Equivalencia lgica - Dos proposiciones son lgicamente equivalentes si cada una se deduce de la otra - Ejemplo: Valdano est comiendo con Gallardn o con Esperanza Aguirre; Si V. no est comiendo con G. est

27

comiendo conE.A, y si no est comiendo con E.A. est comiendo con G. p v q q) & (-q -->p) es lg. Equivalente a (-p -->

BIBLIOGRAFIA

Santana, Julin. Matemtica II. Ediciones Santillana. Matemtica II. Secretaria de Estado de Educacin. Matemtica II. Ediciones Susaeta. Bez y Rellita. Matemtica Bsica I. Pea Geraldino, Rafael. Matemtica Bsica. Folleto Introduccin a la Lgica.

28