Diferencia entre revisiones de «Lógica»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 187.144.129.175 (disc.) a la última edición de TobeBot |
||
Línea 18:
Incluso en los debates actuales es ampliamente aceptado que la teoría de la inferencia correcta constituye el núcleo de la lógica, es objeto de controversia, sin embargo, que las teorías de la lógica se espera exactamente y qué no. casos controvertidos se refieren a la [[teoría de conjuntos]], la [[teoría de la argumentación]] (que quizá no esté bajo la consideración pragmática con [[falacias]] empleadas) y la [[expresión]].
== Sistemas lógicos ==
Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal con un conjunto de axiomas, y un aparato deductivo (reglas de inferencia), == Sistemas lógicos ==▼
{{AP|Sistema formal}}
Línea 62 ⟶ 61:
==== Consistencia ====
{{AP|Consistencia (lógica)}}
▲Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal con un conjunto de axiomas, y un aparato deductivo (reglas de inferencia),
==== Decidibilidad ====
| |||