Zusammenfassung der Ressource
LÓGICA SIMBÓLICA
- Representantes
- G. W. Leibniz
- George Boole
- Augusto de Morgan
- Gottlob Frege
- Bertrand Russell
- Alfred Whitehead
- 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
- Objeto de estudio
- El razonamiento
- Partes principales
- Lógica proposicional
- Lógica cuantificacional
- Simbolos
- Los enunciados
- Atómicos
- Moleculares
- Los conectivos
- Y
- o
- Si entonces
- Si y sólo si
- No
- Tablas de verdad
- Conjunción
- Disyunción
- Inclusiva
- Exclusiva
- Condicional
- Bicondicional
- Negación