Diferencia entre revisiones de «Primitivos de un sistema axiomático»
Ir a la navegación
Ir a la búsqueda
(Created page with "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 toma...") |
Sin resumen de edición |
||
| Línea 3: | Línea 3: | ||
Por ejemplo, si tomamos como axioma el enunciado "Todos los p inciden con más de 3q" | 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'' | podemos identificar los elementos primitivos: ''p'' y ''q'' | ||
y la relación primitiva: ''incidir''. | |||
Revisión del 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.