1070834
Description
Mind Map by Candela Cabido, updated more than 1 year ago
|
Created by Candela Cabido
almost 10 years ago
|
|
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
Want to create your own Mind Maps for free with GoConqr? Learn more.