Calculo de predicados
-
Upload
stephanie-gonzalez -
Category
Engineering
-
view
56 -
download
0
Transcript of 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
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).
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
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:
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:
GRACIAS!