Diferencia entre revisiones de «Lógica»
Contenido eliminado Contenido añadido
m Revertidas 8 ediciones por 201.205.6.54 identificadas como vandalismo a la última revisión por Juan José Moral. (TW) |
|||
Línea 10:
Un sistema lógico está compuesto por:
# Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
# 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.
| |||