predicados

 ALBERTO RAMOS GUIDO MARIO

CARRERA: TICS 1

MATEMATICAS DISCRETAS 1

MATRICULA: 141200040









LOGICA DE PREDICADOS
La lógica de predicados está basada en la idea de lassentencias realmente expresan reacciones entre objetos, así como también cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos.
Tales cualidades,relaciones o atributos, se denominan predicados, los objetos se conocen como argumentos o términos del predicado.
El cálculo de predicados es usado en muchas aplicaciones de lógica matemática, tales comoaritmética y algebra. De igual forma, las aplicaciones de la lógica en las ciencias computacionales son el cálculo de predicados o un sistema de lógica que puede ser formulado dentro del cálculo depredicados.

TIPOS DE PREDICADOS

MONARIOS: son los predicados de un solo argumento.
1. En líneas generales, los predicados monarioscorresponden a predicados expresados con el verbo ‘ser’ y a usos intransitivos de los verbos.

1. Aurelia es artista        
2. Blas pasea            
3. Ciro come


2. Aurelia esartista. Blas pasea. Ciro come.


PRIMER ORDEN
La lógica proposicional puede ser no apropiada para expresar ciertos tipos de
Conocimiento. Por ejemplo:Algunas manzanas son rojas
• Esta afirmación no se refiere específicamente a ningún conjunto de manzanas,
Solo está diciendo que existe un conjunto de manzanas que son rojas.
• ¿Cómo podríamosrepresentar esta afirmaci´on en LP?
• La LP también puede puede ser no apropiada para modelar cierto tipo de
Razonamiento.
• Veamos el siguiente razonamiento correcto:
Juan ayuda a todas las personas quegustan de la lógica.
A Juan es persona y le gusta la lógica.

En estos ejemplos hemos visto que la LP no permite referirse en forma sencilla a
Todos los elementos de un dominio.
• Mas a un, si...