Sadad

CALCULO DE PREDICADOS
Introducción y sintaxis
Permite acceder a los componentes de una aserción individual Las expresiones pueden contener variables, que permiten establecer aserciones generalesacerca de clases de entidades. SIMBOLOS DEL CALCULO DE PREDICADOS El alfabeto que configura los símbolos del cálculo de predicados consiste en : 1.- El conjunto de letras, mayúsculas y minúsculas, delalfabeto inglés 2.- El conjunto de dígitos 0,1,2,...,9 3.- El subrayado Los símbolos en el cp comienzan con una letra, seguida por una secuencia cualquiera de caracteres legales. Los símbolos sonelementos sintácticos irreducibles. Los símbolos se utilizan para denotar objetos, propiedades o relaciones en el mundo del discurso. El único significado que las expresiones del cp puede decirse quetienen es a través de su semántica formal. Los paréntesis, comas y puntos se utilizan únicamente para construir expresiones bien formadas y no denotan ni objetos ni relaciones en el mundo. Son símbolosimpropios. Símbolos: variables, constantes, funciones o predicados. Constantes: dan nombre a los objetos específicos o propiedades en el mundo. Las constantes true y false se reservan como símbolos deverdad. Variables: se utilizan para designar clases generales de objetos o propiedades en el mundo. Funciones: Denotan una correspondencia de uno o más elementos de un conjunto (dominio de la función)en un único elemento o conjunto (rango de la función). Los elementos del dominio y el rango son objetos en el mundo del discurso. Aridad .- El nº de elementos del dominio en correspondencia con cadaelemento del rango. Expresión de función .- símbolo de función seguido de sus argumentos encerrados entre paréntesis y separados por comas. Evaluación .- reemplazar una función por su valor. Definición(símbolos y términos) 1.- Los símbolos de verdad (true y false) 2.- Los símbolos cte: expresiones símbolo con el primer carácter minúscula. 3.- Los símbolos variable: expresiones símbolo con el...