Ensayo

Solo disponible en BuenasTareas
  • Páginas : 3 (668 palabras )
  • Descarga(s) : 10
  • Publicado : 21 de junio de 2010
Leer documento completo
Vista previa del texto
LOGICA DE PREDICADOS

Cuestionario No 13

1. ¿De qué se ocupa la lógica de predicados?

La lógica de predicados, se ocupa únicamente de métodos de argumentación sólidos. Talesargumentaciones se denominan Reglas de Inferencia. Si se da un conjunto de axiomas que son aceptados como verdaderos, las reglas de inferencia garantizan que sólo serán derivadas consecuencias verdaderas.

2.¿Qué clase de términos distingue la lógica de predicados?

La lógica de predicados distingue dos clases de términos:

-Los que representan individuos (sujetos)
-Los que representan propiedades(predicados)

Lógicamente los llamaremos Sujetos y Argumentos.

3. Teniendo en cuenta la cantidad del sujeto,¿cómo se clasifican las proposiciones que conforman las inferencias estudiadas por lalógica de predicados?

De acuerdo a la cantidad del sujeto, las proposiciones se clasifican en:

-Singulares: el sujeto es un individuo.
-Universales: el sujeto es una totalidad de individuos.-Particulares: el sujeto es una parcialidad de individuos.

4. ¿Cuáles son los símbolos usados en el ámbito de la lógica de predicados?

Los símbolos utilizados en la lógica de predicados sonlos siguientes:

-Variables individuales, que representan individuos indeterminados. Se emplean las ultimas letras minúsculas del alfabeto: x,y,z.
-Constantes individuales, que representanindividuos determinados. Se utilizan las primeras letras minusculas del alfabeto: a,b,c.
-Variables predicativas, que representan predicados indeterminados. Se usan estas letras mayúsculas: F,G,H.-Cuantificadores, hacen referencia a la totalidad o a una parte de los miembros del conjunto. Los cuantificadores son de dos tipos:
-Cuantificador Universal
-CuantificadorExistencial

5. ¿Cómo se simboliza una proposición predicativa?

Una proposición predicativa se simboliza funcionalmente invirtiendo
el orden de sus elementos y, por razones operativas, se...
tracking img