(o lógica de primer orden, también llamada lógica predicativa, lógica de predicados, L₁), es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.
El cálculo de predicados tiene un poder expresivo muy superior al de la lógica proposicional.
(Wikipedia)
Mostrando entradas con la etiqueta Consistente. Mostrar todas las entradas
Mostrando entradas con la etiqueta Consistente. Mostrar todas las entradas
CONSISTENCIA: 🔎 👥
un sistema formal es consistente syss ninguna fbf de la forma "A & ~A" es un teorema; o syss no toda fbf del sistema es un teorema o (en el sentido de Emil Leon Post, aplicable al calculo de oraciones) syss ninguna letra de oracion sola es un teorema.
(Haack, 1978).
(Haack, 1978).
Suscribirse a:
Entradas (Atom)