Lógica Modal y Sistemas Kripke
Lógica Modal y Sistemas Kripke La lógica modal es una extensión de la lógica clásica que introduce conceptos como la…
Categoría: Lógica Matemática
Análisis formal del razonamiento matemático mediante proposiciones, conjuntos y sistemas deductivos.
Máquinas de Turing en Teoría de la Computabilidad
Máquinas de Turing en Teoría de la Computabilidad Definición Formal Una Máquina de Turing (MT) es un modelo matemático de…
Lógica Difusa
Lógica Difusa La lógica difusa (o lógica fuzzy) es una extensión de la lógica clásica que permite manejar la incertidumbre…
Lógica Paraconsistente
Lógica Paraconsistente La lógica paraconsistente es una rama de la lógica no clásica que se caracteriza por su capacidad para…
Conjuntos Recursivamente Enumerables en Teoría de la Recursión
Conjuntos Recursivamente Enumerables en Teoría de la Recursión Definición de Conjuntos Recursivamente Enumerables (r.e.) Un conjunto \(A \subseteq \mathbb{N}\) es…
Funciones Recursivas: Primitivas y Generales en Teoría de la Recursión
Funciones Recursivas: Primitivas y Generales en Teoría de la Recursión Definición de Funciones Recursivas Las funciones recursivas son una clase…
Grandes Cardinales en la Teoría de Conjuntos
Grandes Cardinales en la Teoría de Conjuntos En el ámbito de la teoría de conjuntos, los grandes cardinales son un…
Lógica Intuicionista
Lógica Intuicionista La lógica intuicionista es una forma de lógica no clásica que se fundamenta en la concepción de que…
1 min
0
Diferencia Simétrica en Lógica (XOR)
¿Qué es? La diferencia simétrica en lógica se conoce como XOR (exclusive or, o disyunción exclusiva) y representa una operación…
2 min
0
Introducción a la Lógica: De lo Básico a lo Avanzado
La lógica es la base del pensamiento crítico y el razonamiento formal. Si querés aprender o enseñar lógica, esta guía…