12330330
Description
Mind Map by Naimer Andrés Grisales Muñoz, updated more than 1 year ago
|
Created by Naimer Andrés Grisales Muñoz
almost 7 years ago
|
|
LÓGICA SIMBÓLICA
- Representantes
- G. W. Leibniz
- George Boole
- Augusto de Morgan
- Gottlob Frege
- Bertrand Russell
- Alfred Whitehead
- G. W. Leibniz
- Características
- Se maneja como un cálculo
- Primero se construye un
sistema formal y después
se interpreta
- Las leyes se formulan en
lenguaje artificial
- Se maneja como un cálculo
- Objeto de estudio
- El razonamiento
- El razonamiento
- Partes principales
- Lógica proposicional
- Lógica cuantificacional
- Lógica proposicional
- Simbolos
- Los enunciados
- Atómicos
- Moleculares
- Atómicos
- Los conectivos
- Y
- o
- Si entonces
- Si y sólo si
- No
- Y
- Los enunciados
- Tablas de verdad
- Conjunción
- Disyunción
- Inclusiva
- Exclusiva
- Inclusiva
- Condicional
- Bicondicional
- Negación
- Conjunción
Want to create your own Mind Maps for free with GoConqr? Learn more.