ARGUMENTOS LOGICOS

La palabra argumento es un conjunto de prepopsiciones tambin llamadas premisas que afirman algo o lo niegan. Por ejemplo: Todos los hombres son mortales. (premisa n 1) Scrates es un hombre. (premisa n 2) Por lo tanto, Scrates es mortal. (conclusin) Para llegar a la conclusin es necesario analizar cada una de las premisas para asi poder llegar a una conclusin. Los argumentos lgicos, pueden ser vlidos sin que por ello su conclusin sea cierta. El razonamiento puede ser formalmente correcto, pero si una de las premisas es invlida, entonces la conclusin es irrelevante. Por ejemplo: Todo lo que comenz en un momento determinado tuvo una causa. (premisa n 1) El Universo comenz en un momento determinado. premisa (2) Por lo tanto, el Universo tuvo una causa. (conclusin) Si el argumento es vlido, la conclusin no lo es, puesto que la premisa (2) es falsa: el Universo no comenz en un momento determinado porque no haba tiempo en la cual pudiera haber momentos de comienzo. Al haber aparecido el tiempo y el espacio como parte del Universo, el Universo no tuvo comienzo en el tiempo. Esto no hace que la conclusin sea falsa, pero s invalida el argumento que llev a deducirla.

LAS LEYES DE LA IMPLICACION

Implicacin o Condicional Implicacin de las proposiciones p y q es la proposicin p q (si p entonces q) cuya tabla de valores de verdad es: p q pq

V V V F F V F F

V F V V

La proposicin p se llama antecedente, y la proposicin q se llama consecuente de la implicacin o condicional. La tabla nos muestra que la implicacin slo es falsa si el antecedente es verdadero y el consecuente es falso.

Ejemplo: Supongamos la implicacin La implicacin est compuesta de las proposiciones p: apruebo q: te presto el libro Nos interesa conocer la verdad o falsedad de la implicacin i), en relacin a la verdad o falsedad de las proposiciones p y q. El enunciado puede pensarse como un compromiso, condicionado por p, y podemos asociar su verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir si no apruebo el examen, quedo liberado del compromiso y preste o no el apunte la implicacin es verdadera. Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el compromiso no se cumple y la proposicin i) es falsa. Si p y q son verdaderas, entonces la proposicin i) es verdadera pues el compromiso se cumple. Ejemplo: 1 = 1 1 = (1) (F) La proposicin resulta ser falsa por ser el antecedente (1 = 1) falso.

EQUIVALENCIA LOGICA

Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atmicos.

Diremos que dos proposiciones P y Q son lgicamente equivalentes si es una tautologa, es decir, si las tablas de verdad de P y Q son iguales. Equivalencias Logicas Dos frmulas lgicas son equivalentes si tienen los mismos valores de verdad para todos los posibles valores de verdad de sus componentes atmicos. Teorema: Si dos frmulas lgicas son eqivalentes entonces la frmula que se obtiene al operarlas con la bicondiconal es una tautologa. Pasos para la realizacion de equivalencias 1.- Numerar los operadores de la primer formula
p v q v r , p v (q r)

2.- Primeramente los parentesis internos, seguido de las negaciones, posteriormente los operadores siguientes. 3.- Realizar el arbol. (IMG ARBOL) 4.- Se numeran las hojas del arbol de abajo haca arriba de forma alfaberica, se hace esto para las dos formulas. primero la de la izquierda. 5.- Una vez terminado el rbol, proceder a hacer la tabla. 6.- Poner los encabezados de la tabla usando los numeros del arbol. 1 2 3 4 5 V V V V V F V F V V F F F V V F V F F F V F F F 6 7 8 9 p q r q r q v r p v q v r q r p v (q r)

7.- Acomodar los valores de las hojas, siempre siguiendo el mismo orden. 8.- Poner los demas valores de la tabla utilizando las tablas de verdad. 1 2 3 4 5 6 7 8 9

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

9.- Si las tablas no. 7 y no. 9 son exactamente iguales, se concluye que son equivalentes las dos. NOTA: Las tablas 7 y 9 son las formulas originales, si estas dos son iguales entonces son equivalentes.

LGICA CUANTIFICACIONAL

La lgica cuantificacional estudia la composicin ntima de las proposiciones, utiliza nuevos smbolos, leyes y mtodos para establecer la validez de los razonamientos. En el ejemplo : Todos los hombres son mortales Scrates es hombre Luego Scrates es mortal La primera proposicin es general, el sujeto se refiere a un conjunto de individuos. Esta proposicin lleva antepuesto el termino: todos, llamado cuantificador. La segunda proposicin es singular, el sujeto se refiere a un solo individuo y la propiedad atribuida conviene a dicho individuo.

Cuantificacin Otra forma de convertir las funciones proposicionales en proposiciones es mediante la cuantificacin, especificando cuantitativamente el dominio de la variable. Si decimos: x es filsofo Tenemos una funcin proposicional que no es verdadera ni falsa, pero si le anteponemos el cuantificador: para todo x Para todo x, x es filsofo Tendremos una proposicin falsa, equivale a decir: Todos los individuos son filsofos. Si le anteponemos el cuantificador: para algn x Para algn x, x es filsofo Tendremos una proposicin verdadera, equivale a decir: Algn individuo es filsofo La frase para todo x recibe el nombre de cuantificador universal, la predicacin abarca a todos los individuos. Su smbolo es: (x) o (vx) La frase para algn x recibe el nombre de cuantificador existencial, la predicacin abarca por lo menos a un individuo. Su smbolo es: ( x) La simbolizacin cuantificacional de las anteriores proposiciones ser: Todos son filsofos = (x) Fx Algunos son filsofos = ( x) Fx

LEY DE LA EJEMPLIFICACION UNIVERSAL (EU)

Como su nombre lo indica, esta ley se formula en trminos de universalidad, como por ejemplo la proposicin: Todos los francesas son europeos De esta proposicin universal podemos inferir como conclusin, una proposicin singular en la que un individuo particular (a) le corresponde, lgicamente, el predicado europeo. Esta ley se simboliza del siguiente modo: xPxPa

LEY DE LA GENERALIZACION UNIVERSAL (GU)

Esta ley nos permite inferir de una proposicin singular o individuo particular (a), que todos los objetos o individuos (x) de un conjunto tienen el mismo predicado que tiene (a). Esta ley se simboliza as: PaxPx 3. LEY DE LA EJEMPLIFICACION EXISTENCIAL (EE) Esta ley nos indica que si existe al menos un objeto (x) que tiene un determinado predicado (P) podemos obtener como conclusin una proposicin singular con el mismo predicado. Esta ley queda simbolizada de la siguiente forma: xPxPa 4. LEY DE LA GENERALIZACION EXISTENCIAL (GE) Si en un argumento tenemos una proposicin singular que tiene un determinado predicado (P), se puede obtener como conclusin que existe al menos un objeto (x) que tiene el mismo predicado. Su simbolizacin s hacer de esta manera: PaxPx Es un mtodo que resulta ms fcil examinar otros tipos de inferencia Los que representan individuos (gramaticalmente sujetos) y los que representan

propiedades (gramaticalmente predicados) * Singulares: el sujeto es un individuo * Universales: el sujeto es una totalidad de individuos * Particulares: el sujeto es una parcialidad de individuos

LA CLASE NULA
La Clase Nula o clase vaca es la que no contiene individuo alguno. Cuando una clase es vaca se representa por un juego de llaves que nada contienen. Z={ }.

LA CLASE UNIVERSAL
Es la clase de todas las cosas por ejemplo, la clase de delfines, esto se puede reducir en una clase de mamferos a esto se le llama clase universal. Se representa mediante: