Beruflich Dokumente
Kultur Dokumente
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.
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
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: