Describir la logika cuantificacional y sus elementos

Solo disponible en BuenasTareas
  • Páginas : 2 (273 palabras )
  • Descarga(s) : 0
  • Publicado : 6 de marzo de 2012
Leer documento completo
Vista previa del texto
* 1 describir la logika cuantificacional y sus elementos
* 2distinguir cada una de los simbolos y eleemenos utilisados en la logika cuantificacional
* 3 establecer las diferencias entreuna funcion propocional y una rexprecion pro pocinal 4 resuma lo diferente al tema y haga un brev exposison sobre el mismo

Es llamada también lógica de predicados o lógica de primer orden.
Lalógica cuantificacional estudia la composición íntima de las proposiciones, utiliza nuevos símbolos, leyes y métodos para establecer la validez de los razonamientos.
Esta lógica estudia de maneramás detallada los predicados a través del uso de cuantificadores que expresan cantidad (todos  o algunos).
El sistema de notación consta de los siguientes elementos, que vienen a ser su lenguaje:A)     Operadores proposicionales
B)      Constantes individuales
C)      Variables
D)     Operadores de cuantificación o, simplemente, cuantificadores y
E)      Meta variablesF)      Símbolos de agrupación.

Símbolos de la lógica cuantificaconal:
1. La literales mayúscula: A, B, C….Z representan a los predicados (letras predicativas).
2. La literales minúsculas: a, b, c…wrepresentan individuos particulares (constantes individuales).
3. Las literales minúsculas: x, y y z, representan individuos cualesquiera (variables individuales).
4. El símbolo representa“todos” o “ningunos” y se llama cuantificador universal.
5. El símbolo representa “algunos” y se llama cuantificador existencial.

Elementos utilizados en la lógica cuantificacional:Función proposicional:
 La función proposicional es un enunciado abierto de la forma P(x) es decir, se trata de una expresión que contiene alguna variable que al ser sustituida por un valor particular(número) se convierte en proposición. Al igual que las proposiciones, las funciones proposicionales se pueden unir por conectivos lógicos, formándose las funciones proposicionales...
tracking img