12342795
Description
Mind Map by Sebastián Peralta, updated more than 1 year ago
|
Created by Sebastián Peralta
about 7 years ago
|
|
LÓGICA SIMBÓLICA
- Propósitos
- Distinguir proposiciones.
- Identificar funciones.
- Operar el lenguaje.
- Tablas de verdad.
- Distinguir proposiciones.
- Representantes
- G.W. Leibniz.
- George Boole.
- Augusto De Morgan.
- Gottlob Frege.
- Bertrand Russell.
- Alfred Whitehead.
- G.W. Leibniz.
- Características
- Cálculo lógico ( +, - )
- Sistema formal y lenguaje ordinario
- Lenguaje artificial
- Cálculo lógico ( +, - )
- Estudia el razonamiento.
- Lógica proposiocional.
- Enunciados.
- Enunciados atómicos.
- Enunciados moleculares.
- Enunciados atómicos.
- Conectivas.
- Nexo o enlace entre dos enunciados.
- Nexo o enlace entre dos enunciados.
- Enunciados.
- Lógica cuantificacional.
- Lógica proposiocional.
- Símbolos
- Conectivos
- Agrupamiento
- Conectivos
0 comments
Want to create your own Mind Maps for free with GoConqr? Learn more.