LÓGICA SIMBÓLICA

LÓGICA SIMBÓLICA

1. Propósitos

   • Distinguir proposiciones.
   • Identificar funciones.
   • Operar el lenguaje.
   • Tablas de verdad.

2. Representantes

   • G.W. Leibniz.
   • George Boole.
   • Augusto De Morgan.
   • Gottlob Frege.
   • Bertrand Russell.
   • Alfred Whitehead.

3. Características

   • Cálculo lógico ( +, - )
   • Sistema formal y lenguaje ordinario
   • Lenguaje artificial

4. Estudia el razonamiento.

   • Lógica proposiocional.
     • Enunciados.
       • Enunciados atómicos.
       • Enunciados moleculares.
     • Conectivas.
       • Nexo o enlace entre dos enunciados.
   • Lógica cuantificacional.

5. Símbolos

   • Conectivos
   • Agrupamiento