Lógica matemática

Lógica temporal lineal

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...

Sheffer functors

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

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...

Lógica paraconsistente

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...

Toma de decisiones

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...

Cuantificador

En lógica, los cuantificadores son expresiones como "algo" (cuantificador existencial) y "todo" (cuantificador universal) y sus contrapartes simbólicas: el nomb...

Secuencial

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...

La representabilidad

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

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...

Axiomas por la igualdad

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...

Modus ponens

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...

Método Petrick

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, ...

Fórmula bien formada

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...

Inductivist Turquía

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...

Axioma apropiado

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...

Idioma de Primer Orden

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...

Principio de Markov

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...

Igualdad (matemáticas)

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...

Teoría del primer orden

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...

Aserción (lógica)

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...

Teoría de conjuntos Zermelo

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...

Cierre atractivo

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...

Fundamentos de las matemáticas

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...

Silogismo disyuntivo

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...

Variable libre

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 ...

Lógica matemática

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ó...

Lógica multiusos

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...

Integridad (lógica matemática)

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 ...

Operador de Sheffer

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...

Identidad (lógica moderna)

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...

Heyting Álgebra

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...

Base de conectivos

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...

Información linealizada parcial

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...

Consistencia (lógica matemática)

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...

Programa de Hilbert

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...

Extensión conservadora

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...

Distancia de Hamming

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 ...

Principio de buen orden

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 ...

Motor inferencial

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 ...

Demostración matemática

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...

Regla de inferencia

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...

Firma (lógica)

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...

Teoría Formal

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 ...

Axioma lógico

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...

Cierre universal

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 ...

Corrección (lógica matemática)

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...

Poder lógico

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...

Lógica libre

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 ...

Sistema Formal

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...

Número surrealista

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...
LA VISTA DEL LECTOR DE WIKIPEDIA.ORG
Política de privacidad , Descargos de responsabilidad
contactos