La Lógica Temporal Lineal (LTL) es una extensión de la lógica modal en la que los mundos se organizan en una estructura lineal infinita: cada mundo puede repres...
Los funtores Sheffer, son dos operadores lógicos muy poderosos, ya que cada uno solo constituye una base de conectivos. Fueron ideados por Henry Sheffer. Genera...
Principia Mathematica es un trabajo sobre Los fundamentos lógicos de las matemáticas escrito por Alfred North Whitehead y Bertrand Russell. La obra se divide en...
En lógica, lógica paraconsistente significa un sistema formal en el que las excepciones al principio de no contradicción pueden ocurrir de manera controlada, es...
En la teoría de la computabilidad de un subconjunto A del conjunto N de números naturales se dice que es decidibil o recursivo si existe un algoritmo que recib...
En lógica, los cuantificadores son expresiones como "algo" (cuantificador existencial) y "todo" (cuantificador universal) y sus contrapartes simbólicas: el nomb...
Un Sequent es una entidad de lógica que permite expresar enlaces entre aserciones complejas utilizando enlaces metalingüísticos y eso implica. Las primeras form...
En lógica matemática el concepto de representabilidad de una función o un predicado es relativo a las teorías de la aritmética formal, es decir, a las teorías d...
Metamathematics se puede definir como la parte de la filosofía de las matemáticas que tiene como objetivo estudiar las matemáticas desde puntos de vista general...
Los axiomas para la igualdad son un conjunto de axiomas que pueden formar parte de una Teoría de Primer Orden con el fin de formalizar todas las deducciones nor...
En lógica, el modus ponens (MP), acortamiento del latín modus ponendo ponens (para que afirma, literalmente para que posa con El haber colocado), es una regla d...
El método Petrick es un algoritmo para resolver minterminas contenidas en una tabla de implicantes Prime obtenidos con el método Quine - McCluskey. Tal método, ...
En lógica matemática se llama fórmula bien formada o-brevemente-FBF de un sistema formal una cadena de símbolos que, intuitivamente, representa una expresión si...
El induttivista de pavo es una famosa metáfora creada por el filósofo Bertrand Russell, y luego reanudada incluso por Karl Popper, con el fin de refutar las afi...
Los axiomas propios de una teoría son los axiomas que especifican hechos relacionados con los objetos de la teoría que no son deducibles de la lógica pura y sim...
En lógica matemática, el lenguaje de primer orden es un lenguaje formal que sirve para administrar mecánicamente declaraciones y razonamientos que involucran co...
El principio de Markov, que lleva el nombre de Andrej Andreevič Markov, es una tautología de la lógica clásica que no es intuicionísticamente válida pero que pu...
En matemáticas, la igualdad comúnmente indica una relación binaria de equivalencia entre dos entidades, llamadas miembros de igualdad. Representa uno de los con...
En lógica matemática, una Teoría de Primer Orden es un sistema formal particular, es decir, una teoría formal en la que es posible expresar enunciados y deducir...
La afirmación lógica es una declaración que establece que una determinada premisa es verdadera. Es equivalente a una secuencia sin antecedente. Por ejemplo, dad...
En la teoría de conjuntos, la letra mayúscula Z es la versión axiomática de la teoría de conjuntos (Naive) de Cantor, construida por el matemático Ernst Zermelo...
En matemáticas, el cierre deductivo consiste en el conjunto de deducciones que se pueden derivar de un conjunto de axiomas. En otras palabras, el cierre deducti...
Hacia finales del siglo XIX y principios del siglo XX, algunos matemáticos, incluidos el teorema de Gottlob Frege, David Hilbert, Bertrand Russell y Alfred Nor...
La alternancia de silogismo (también llamada modus tollendo ponens, abreviado SD) es una regla de inferencia derivada que se aplica a la disyunción de una propi...
En lógica matemática y en particular en un lenguaje de primer orden se dice que una variable debe ser libre en una fórmula bien formada
A
...
La lógica matemática es el campo de las matemáticas que estudia
sistemas formales desde el punto de vista de la codificación
conceptos intuitivos de demostració...
Las lógicas polivalentes son extensiones de la lógica clásica en las que hay más valores de verdad que los cánones verdadero, falso y, por lo tanto, en ellos no...
En la lógica matemática, el concepto de integridad expresa el hecho de que un conjunto de axiomas es suficiente para probar todas las verdades de una teoría, y ...
El operador Sheffer, también llamado negación alternativa (o incompatible), es uno de los dos operadores introducidos por el matemático estadounidense Henry Mau...
A diferencia de la lógica clásica en la lógica moderna, la identidad es una relación normalmente definida como binaria, que se ejecuta entre una cosa y sí misma...
Un álgebra de heyting (del matemático holandés Arend Heyting) es la estructura de la verdad (un álgebra, de hecho) de la lógica intuicionista. Un álgebra de hey...
Los conectivos son un subconjunto de operadores funcionales verdaderos con los que es posible dar la definición lógica de todos los demás conectivos. Son base c...
La información parcial linealizada (LPI) es un método para tomar decisiones basadas en información insuficiente, matizada o incierta (fuzzy - en inglés). LPI fu...
En lógica matemática, se dice que una teoría formal es consistente (o no contradictoria, a veces incluso consistente, por asonancia con el inglés consistente) s...
El programa de Gilbert consistió en formalizar todas las teorías matemáticas existentes a través de un conjunto finito de axiomas, y demostrar que estos axiomas...
En lógica matemática, en el marco de la teoría de la prueba, una extensión conservadora de una teoría lógica T 1 es una teoría T 2 tal que: en la teoría de mode...
En la teoría de la información, la distancia de Hamming entre dos cadenas de igual longitud es el número de posiciones en las que los símbolos correspondientes ...
En Matemáticas, el principio de buen ordenamiento (que no debe confundirse con el teorema de buen ordenamiento), a veces llamado principio mínimo entero, o más ...
En Informática, un motor inferencial es un algoritmo que simula las formas en que la mente humana saca conclusiones lógicas a través del razonamiento. Es parte ...
Una prueba matemática es un proceso de deducción que, a partir de premisas asumidas como válidas (hipótesis) o de proposiciones probadas en virtud de estas prem...
En la lógica matemática una regla de inferencia es un esquema formal que se aplica al realizar una inferencia. En otras palabras, es una regla que le permite pa...
En la lógica de primer orden, la firma es un conjunto L de símbolos (que también pueden estar vacíos) divididos en tres categorías: símbolos constantes, símbolo...
Una teoría formal es un método para producir afirmaciones en forma matemática y para permitir la inducción de fórmulas derivadas de otras fórmulas consideradas ...
Los axiomas lógicos son un conjunto (infinito) de axiomas de una teoría de primer orden que formalizan todas las deducciones lógicas que generalmente se hacen e...
En lógica matemática y más específicamente en una teoría de primer orden se llama cierre universal de una fórmula bien formada
A
(
x
1 ...
En lógica matemática, la solidez es una propiedad fundamental de las reglas lógicas y los cálculos lógicos. Una regla lógica (o regla de inferencia o regla de d...
El poder (lógica-matemática) generalmente se entiende como la capacidad de un sistema formal, o axioma, o lenguaje formal para expresar parte de las matemáticas...
Una lógica libre es una lógica no clásica, que tiene una cantidad existencial menor que la lógica de primer orden. Una lógica libre permite que los términos no ...
En lógica matemática, la noción de sistema formal se usa para proporcionar una definición estricta del concepto de prueba. En otras palabras, la noción de siste...
En matemáticas, los números surrealistas son un campo que contiene números reales y también números infinitos e infinitesimales, respectivamente mayores o menor...