1) El documento describe los cuantificadores universales y las leyes lógicas de la identidad, la no contradicción y el medio excluido. 2) El cuantificador universal indica que una proposición es cierta para cualquier valor de la variable, mientras que las leyes lógicas establecen principios fundamentales como que algo es igual a sí mismo y que una declaración no puede ser verdadera y falsa al mismo tiempo. 3) Las leyes lógicas son importantes para reconocer contradicciones y establecer si una declaración es verdadera o falsa
1) El documento describe los cuantificadores universales y las leyes lógicas de la identidad, la no contradicción y el medio excluido. 2) El cuantificador universal indica que una proposición es cierta para cualquier valor de la variable, mientras que las leyes lógicas establecen principios fundamentales como que algo es igual a sí mismo y que una declaración no puede ser verdadera y falsa al mismo tiempo. 3) Las leyes lógicas son importantes para reconocer contradicciones y establecer si una declaración es verdadera o falsa
1) El documento describe los cuantificadores universales y las leyes lógicas de la identidad, la no contradicción y el medio excluido. 2) El cuantificador universal indica que una proposición es cierta para cualquier valor de la variable, mientras que las leyes lógicas establecen principios fundamentales como que algo es igual a sí mismo y que una declaración no puede ser verdadera y falsa al mismo tiempo. 3) Las leyes lógicas son importantes para reconocer contradicciones y establecer si una declaración es verdadera o falsa
El cuantificador universal (se escribe con una A invertida y se lee "para
todo") indica que una funcin proposicional p(x) es cierta cualquiera que sea el valor de la variable x. Ejemplos de los cuantificadores universales:
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:
Todo elemento x de A pertenece a B:
Al ser A y B conjuntos diferentes como indica el diagrama, podemos
decir que no todos los elementos y de B pertenecen a A, siendo esto una garanta suficiente para que dos conjuntos cualesquiera puedan ser diferentes:
Es decir, no para todo elemento y de B se cumple que y tambin
pertenezca a A. Para todo n natural se verifica que 2n+1 es impar. El cuantificador universal "para todo" indica que la proposicin es cierta cualquiera que sea n natural. Leyes de Identidad La Ley de Identidad establece que un objeto es igual a s mismo. Esto se suele expresar simblicamente con la expresin 'A es A'. Esta ley con frecuencia es atribuida a Aristteles, quien escribi: "Ahora, 'por qu una cosa es ella misma' es una pregunta sin significado. Es preciso que el porqu de la cosa que se busca se manifieste realmente; es preciso, por ejemplo, que se haya visto que la Luna est sujeta a eclipses, pero el hecho de que una cosa sea ella misma es la nica razn y la nica causa a ser dada en respuesta a todas las preguntas tales como por qu el hombre es hombre, o el msico msico, a menos que uno respondiera 'porque cada cosa es inseparable de s misma, y el hecho de que sea una significa exactamente esto', respuesta que se aplica igualmente a todas las preguntas de este gnero, y que las resuelve en pocas palabras." La ley de la identidad establece que A es A. En otras palabras, algo es lo que es. Una manzana es una manzana. Si algo existe tiene una naturaleza, una esencia. Por ejemplo, un libro tiene una
portada y una contraportada con pginas en su interior. Un automvil tiene
cuatro ruedas, asientos, puertas, vidrios, etc. Un rbol tiene ramas, hojas, un tronco y races. Esto tambin significa que cualquier cosa que exista tiene caractersticas. Reconocemos lo que algo es al observar sus caractersticas. Usted sabe que un rbol es un rbol debido a que ve sus ramas, sus hojas, su tronco, etc. An ms, si algo tiene una identidad, no puede tener otra, ya que sta es nica e individual. En otras palabras: Si algo existe cuenta con una serie de atributos que son consistentes consigo mismo. Este algo, no tiene un conjunto de atributos que sean inconsistentes consigo mismo. Por lo tanto, podemos fcilmente concluir, que un gato no es un paracadas. Una manzana no es un automvil de carreras y un rbol no es una pelcula. La ley de la no contradiccin nos dice que A no puede ser tanto A y ninguna A al mismo tiempo y en el mismo sentido. Se puede explicar cmo: algo, como una declaracin no puede ser al mismo tiempo tanto verdadero como falso y del mismo modo. Con frecuencia usamos la ley de la no contradiccin en discusiones y debates ya que somos capaces de reconocer cuando algo es contrario a s mismo. Si le dijramos a Usted que ayer alguien fue de compras y ms tarde le dijramos que ese alguien no fue de compras, Usted nos corregira dicindonos que existe una contradiccin. Una contradiccin ocurre cuando una declaracin excluye la posibilidad de otra y aun ambas afirman ser verdaderas. Ya que sabemos que ambas no pueden ser verdad, vemos entonces, una contradiccin. Basados en este principio, podemos concluir, que la verdad no se contradice a s misma. Este es un concepto muy importante. Vamos a repetirlo: "La verdad no se contradice a s misma." La ley del medio excluido dice que una declaracin es verdadera o falsa. Por ejemplo: "El cabello de esa mujer es castao." Es verdadero o falso que el cabello de esa mujer es castao. Otro ejemplo: La declaracin "Estoy embarazado", es verdadera o falsa. Debido a quien escribe esta Leccin es un hombre, no es posible que est embarazado. Por lo tanto, la declaracin es falsa. Si fuera una mujer, sera posible que estuviera embarazada dadas las condiciones normales del cuerpo de la mujer. Cuando una mujer se encuentra embarazada, no existe una posicin intermedia: Est, o no est embarazada. La ley del medio excluido es importante ya que nos ayuda a tratar con absolutos y esto es particularmente importante en una sociedad donde el relativismo es promovido y las declaraciones verdaderas son negadas.