1070834
Beschreibung
Mindmap von Candela Cabido, aktualisiert more than 1 year ago
|
Erstellt von Candela Cabido
vor fast 10 Jahre
|
|
Ciencias
- Fácticas
- "Factum" = Hechos
- Ejemplos
- Biología
- Física
- Química
- Biología
- Ejemplos
- "Factum" = Hechos
- Formales
- Deducciones
- Sistemas Axiomáticos
- Conjunto de Enunciados
- Axiomas
- Punto de Partida
- Valor Verdadero
- Valor Verdadero
- Punto de Partida
- Teoremas
- Se deducen de los axiomas
- Su verdad deriva de la verdad de
los axiomas
- Su verdad deriva de la verdad de
los axiomas
- Se deducen de los axiomas
- Axiomas
- Lenguaje
- Términos Primitivos
- No se definen
- No se definen
- Términos Definidos
- A partir de los Primitivos
- A partir de los Primitivos
- Reglas de Formación
- Fórmulas Bien Formuladas (FBF)
- Tienen sentido dentro del lenguaje del sistema
- Tienen sentido dentro del lenguaje del sistema
- Fórmulas Bien Formuladas (FBF)
- Términos Primitivos
- Reglas de Transformación
- Permiten inferir teoremas a partir de
axiomas
- Permiten inferir teoremas a partir de
axiomas
- Sistema Axiomático Interpretado
- Correlato Fáctico a los primitivos que aparecen en
los axiomas
- S.A Interpretado = Ciencia Fáctica
- S.A No Interpretado = Ciencia Formal
- Correlato Fáctico a los primitivos que aparecen en
los axiomas
- Características
- Consistencia
- Si no puede demostrarse un teorema y su
negación (No Contradictorio)
- Si no puede demostrarse un teorema y su
negación (No Contradictorio)
- Independencia
- Si un axioma no puede deducirse de los
demás; si no es un teorema
- Si un axioma no puede deducirse de los
demás; si no es un teorema
- Completitud
- Si cualquier enunciado del sistema
puede demostrarse en él
- Si cualquier enunciado del sistema
puede demostrarse en él
- Consistencia
- Conjunto de Enunciados
- Sistemas Axiomáticos
- Ejemplos
- Lógica
- Matemática
- Lógica
- Deducciones
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.