termino

a) Termino: Es una expresión que se refiere a un único objeto o una variable, que puede sustituirse por una expresión que se refiere a un único objeto.
Juan es el presidente de nuestra clase. 
Juan es un término
d) Predicado: Es lo que se atribuye o expresa de un objeto (termino).
Aquel objeto es una estrella distante.
Distante es el predicado
f) Cuantificadores : Cuando se habla decuantificadores en términos de Lógica, Teoría de Conjuntos o Matemáticas en general, se hace referencia a aquellos símbolos que se utilizan para indicar cantidad en una proposición, es decir, permiten establecer “cuántos” elementos de un conjunto determinado, cumplen con cierta propiedad. 


Los cuantificadores permiten la construcción de proposiciones a partir de funciones proposicionales, biensea particularizando o generalizando. Por ejemplo, si consideramos la función proposicional:

P(x) = x es menor que dos

Esto podría particularizarse así: “Existe un número real que es menor que dos” o generalizarlo diciendo: “Todos los números reales son menores que dos”.

En cualquiera de los dos casos, se especifica un conjunto donde está tomando valores la variable, para nuestro ejemplo,el conjunto de los números reales.

Para notar la particularización y la generalización, se utiliza la siguiente simbología, respectivamente: 



que se lee: “existe un equis que pertenece a erre (a los reales), tal que equis es menor que dos” 

Mientras que 


se lee: “para todo equis que pertenece a erre (a los reales), se cumple que equis es menor que dos” 

CuantificadorUniversal  Para todo, todo, cualquiera, cada): se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen con una condición o propiedad determinada. Esto se expresa como:

Cuantificador Existencial   Existe al menos un, hay, algunos, algún): se utiliza para indicar que existen uno o más elementos en el conjunto A que cumple(n) con una condición o propiedad determinada.





i)Ley de Identidad Lógica
Es una de las leyes básicas del pensamiento correcto, cuya observancia contribuye a la certidumbre, la precisión y la claridad en el empleo de conceptos y juicios ( razonamiento).
En el pensamiento, la ley de identidad es una regla normativa (principio) que estipula que en el proceso de raciocinio no se puede cambiar una idea por otra, un concepto por otro, pues de locontrario surgirían los errores lógicos llamados "suplantación del concepto" o "suplantación de la tesis".
La ley de identidad significa asimismo que no se puede hacer pasar las ideas idénticas por distintas y, viceversa, las distintas por idénticas, es decir, que una cosa es idéntica a sí misma, lo que es, es; lo que no es, no es: ("A es A", o "no A es no A")
Por ejemplo, un libro tiene unaportada y una contraportada con páginas en su interior.  Un automóvil tiene cuatro ruedas, asientos, puertas, vidrios, etc.  Un árbol tiene ramas, hojas, un tronco y raíces.  Esto también significa que cualquier cosa que exista tiene características.  Reconocemos lo que algo es al observar sus características.  Usted sabe que un árbol es un árbol debido a que ve sus ramas, sus hojas, su tronco, etc. Aún más, 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 fácilmente concluir, que un gato no es un paracaídas.  Una manzana no es un automóvil decarreras y un árbol no es una película. 


H) Negación de los cuantificadores

Negación de los cuantificadores
“La negación del cuantificador universal es equivalente a la afirmación de cuantificador existencial, respecto de
la proposición negada; y viceversa”.
Tanto las proposiciones universales como las existenciales posee su negativa respectiva, y se simboliza negando
la segunda...