Cuantificadores Universales

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.