derivadas

Ministerio del Poder Popular para La Educación
República Bolivariana de Venezuela
Universidad José Antonio Páez
San Diego, Edo. Edo CaraboboSan diego, 17/02/2014




Lógica Cuantificacional.

Estudia la composición íntima de las proposiciones, utiliza nuevos símbolos, leyes y métodos paraestablecer la validez de los razonamientos. Es cuando se hace una afirmación en el sentido que un objeto o conjunto de objetos tienen una determinada propiedad o característica.

Símbolos de loscuantificadores

1. Las letras mayúsculas A, B, C, …hasta Z se utilizan para representar los predicados y se les llama letras predicativas

2. Las letras minúsculas a, b, c …hasta w, se utilizan pararepresentar a individuos particulares y se les llama constantes individuales.

3. Las letras minúsculas x, y, y z, se utilizan para representar a cualquier individuo y se llaman variablesindividuales.

4. El símbolo A invertida " símbolo que es el cuantificador universal y se lee "para todo" "para alguno". ~" invertida (ninguno)

5. El símbolo $ significa existe y se llama cuantificadorexistencial.

Cuantificadores Universales

En lógica, se usa el símbolo, denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto secumple la proposición dada a continuación. En texto se puede representar con el carácter ∀. Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el cualaparecen todas las constantes.

Cuantificadores Existenciales

Se usa el símbolo llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un elemento delconjunto al que hace referencia la variable, que cumple la proposición escrita a Normalmente, en lógica, el conjunto al que se hace referencia es el universo

Diagrama de Euler
Un diagrama de Euler...