Diferencia entre revisiones de «Lógica»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 200.34.99.12 a la última edición de RoyFocker |
||
Línea 9:
Un sistema lógico está compuesto por:
# Un conjunto de símbolos primitivos
# Un conjunto de reglas de formación (la gramática) que nos dice cómo construir [[Fórmula bien formada|fórmulas bien formadas]] a partir de los símbolos primitivos.
# Un conjunto de [[axioma]]s o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
|