Diferencia entre revisiones de «Primitivos de un sistema axiomático»
Ir a la navegación
Ir a la búsqueda
Sin resumen de edición |
m (Protected "Primitivos de un sistema axiomático" ([Edit=Allow only administrators] (indefinite) [Move=Allow only administrators] (indefinite)) [cascading]) |
(Sin diferencias)
| |
Revisión actual - 20:12 2 nov 2017
Los primitivos de un sistema axiomático son aquellos elementos y relaciones que aparecen en los axiomas y que son aquello a lo que se refiere el axioma.
Por ejemplo, si tomamos como axioma el enunciado "Todos los p inciden con más de 3q"
podemos identificar los elementos primitivos: p y q
y la relación primitiva: incidir.