Resultados de la búsqueda

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar…

explicitar el ámbito de aplicación de un predicado a un sujeto o conjunto de sujetos. Por lo que el cálculo según este modo de análisis de la proposición se…

pensamiento o discurso. El cálculo lógico natural como razonamiento es el primer cálculo elemental del ser humano. El cálculo en sentido lógico-matemático…

FALSE. Un predicado es una función que devuelve un valor booleano. El predicado más simple es ISZERO el cual nos devuelve TRUE si el número de Church argumento…

quien también inventó el cálculo de predicados, en 1879, como parte de su cálculo de predicados de segundo orden (a pesar de que Charles Peirce fue el…

vista del cálculo proposicional y del cálculo de predicados de primer orden, se demostró que los sistema de cálculo alfa y beta son a la vez consistentes…

definición de la sentencia de asignación: w p ( x := E , R )   =   R E x {\displaystyle wp(x:=E,R)\ =\ R_{E}^{x}} De esta operación resulta un predicado que…

y (ii) un predicado (un verbo o posiblemente cláusula verbal que afirma una cualidad o atributo del objeto (s)). El cálculo de predicados luego generaliza…

Fril es un lenguaje de programación para el cálculo de predicados de primer orden. Trabaja con un subconjunto de la semántica del lenguaje Prolog pero…

simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo: Abelardo…

Cálculo preposicional, álgebras de Boole, cálculo de predicados). Col. Axiomes (Axiomas). Masson,[2] 1993. ISBN 2-225-84079-2 Sobre las ediciones de esa…

en cálculo de predicados que tiene una sintaxis similar a Lisp. CycL se utiliza para representar el conocimiento almacenado en la Base de datos de conocimiento…

\left[X\right]} denota el cierre universal de todas las variables en el alfabeto. La teoría UTP más básica es el cálculo del predicado alfabetizado, que no tiene restricciones…

metalenguaje es pplambda, una combinación del cálculo de predicados de primer orden y el lambda-cálculo polimórfico sencillamente tipificado). Frecuentemente…

contenido dentro del predicado. Por otro lado, una proposición O ("Algunos S no son P") es negativo ya que excluye al sujeto del predicado. Una consideración…

lógica aristotélica el juicio de términos se concibe como una relación de dos términos, como atribución de un predicado a un sujeto, concebidos estos…

P(y). Este esquema de axioma, válido para cualquier predicado P en una variable, responde solamente por una dirección de la ley de Leibniz; si x y y son…

originalmente fundamentó ciertos razonamientos del cálculo infinitesimal. En la crisis de los fundamentos matemáticos de principios del siglo XIX los infinitésimos…

en lenguaje CycL que está basado en cálculo de predicados y tiene una sintaxis similar a Lisp. La construcción de Cyc continúa siendo Ingeniería del conocimiento…

realidad conocida), plantea el problema de un predicado falso, es decir un no-predicado. ¿Cómo conocemos un no-predicado?… Lingüísticamente, el problema se…