Zusammenfassung der Ressource
LÓGICA SIMBÓLICA
- Propósitos
- Distinguir proposiciones.
- Identificar funciones.
- Operar el lenguaje.
- Tablas de verdad.
- Representantes
- G.W. Leibniz.
- George Boole.
- Augusto De Morgan.
- Gottlob Frege.
- Bertrand Russell.
- Alfred Whitehead.
- Características
- Cálculo lógico ( +, - )
- Sistema formal y lenguaje ordinario
- Lenguaje artificial
- Estudia el razonamiento.
- Lógica proposiocional.
- Enunciados.
- Enunciados atómicos.
- Enunciados moleculares.
- Conectivas.
- Nexo o enlace entre dos enunciados.
- Lógica cuantificacional.
- Símbolos
- Conectivos
- Agrupamiento