Calculo de predicados

6
UNIVERSIDAD FERMIN TORO DECANATO DE INGENIERIA CATEDRA-ESTRUCTURA DISCRETA INTEGRANTE: Stephanie González Cl. 23.488.665 Prof. Domingo Méndez SAIA-A CABUDARE, 18 DE MAYO DEL 2016 CALCULO DE PREDICADOS

Transcript of Calculo de predicados

Page 1: Calculo de predicados

UNIVERSIDAD FERMIN TORODECANATO DE INGENIERIA

CATEDRA-ESTRUCTURA DISCRETA

INTEGRANTE: Stephanie González

Cl. 23.488.665Prof. Domingo Méndez

SAIA-A

CABUDARE, 18 DE MAYO DEL 2016

CALCULO DE PREDICADOS

Page 2: Calculo de predicados

DEFINICION:

CALCULO:

No es mas que un sistema de reglas para operar con signos y ampliar las posibilidades del pensamiento no esperado de el contenido, en la resolución y problemas y demostración de juicios expresables mediante los recursos (en el <<lenguaje>>) del calculo dado.

CARACTERISTICA PRINCIPAL:Estriba en que los objetos con los cuales se opera son objetos materiales (cifras, letras y otros signos) que no cambian mientras se les aplique la regla del calculo.

PREDICADOS:

Es la aplicación de una función BOOLEANA cuyos argumentos pueden ser de diferentes tipos, es decir un predicado puede ser de tipo: Z B

CARACTERISTICA PRINCIPAL:Los nombres de sus funciones (igual, menor) son llamados símbolos de predicados, y también se usa la notación X < Y , para expresar el predicado menor (X,Y).

Page 3: Calculo de predicados

En el calculo de predicados el valor de verdad depende de los componentes que forman el predicado.

Por lo cual se puede definir como un sistema formal estructurado para el estudio en la injerencia en los lenguajes formales con cuantificadores los cuales alcanzan solo a variables de individuos, predicados y funciones cuyos argumentos son constantes o variables de individuos.

CALCULO DE PREDICADOS

Page 4: Calculo de predicados

POSEE UNA O MAS VARIABLES. TRABAJA CON FORMULAS DE DIVERSOS TIPOS, ADEMAS DEL BOOLEANO. POSEE UN LENGUAJE MAS EXPRESIVO LOS ATOMOS TIENEN UNA REPRESENTACION RELACIONAL PUDIENDO ASI

REPRESENTARSE.

CARACTERISTICAS:

Page 5: Calculo de predicados

ANALIZAR CUALES SON LAS VARIABLES Y CUALES LOS PREDICADOS EN LOS SIGUIENTES EJEMPLOS:

El libro es azul. Jesús es alumno del tecnológico. Esteban compra mercancía los lunes en el almacén A.

SOLUCIONES:

AZ(x), AZ es el predicado: es de color azul, en el dominio de objetos. T(x), T es el predicado: es alumno del tecnológico, el dominio el conjunto de los estudiantes. A(x,), A es el predicado: comprar en los almacenes cierto día, el dominio para el primer argumento es el de las

personas, el domino para el segundo son los días de la semana.

EJEMPLOS:

Page 6: Calculo de predicados

GRACIAS!