Lógica proposicional

Lógica proposicional

1. Objetivos

   • Identificar las clases de proposiciones que se pueden encontrar en un enunciado.
     • Analizar los enunciados para la elaboración de la tabla de verdad.
       • Traducir proposiciones del lenguaje verbal a variedades lógicas y viceversa.
         • Identificar si un arguntoes válido o inválido, así como demostrar su validez.
           • Comprender los pricipios de las operaciones del cálculo proposicional y sus aplicaciones.

2. DEFINICIÓN:

   • La lógica es una ciencia formal que tiene por objeto de estudio diferentes principios de demostración que permitan comprobar que una afirmación puede ser considerada como válida.

3. METODOLOGÍA examina la validez o la invalidez de una afirmación, mediante la aplicación de una sistematización en los argumentos y un análisis de su estructura lógica,sin tener en cuenta el contenido o de lo arguntado,el lenguaje utilizado y el estado de realidad del contenido

4. APLICACIÓN: la lógica se puede aplicar en diferentes áreas : * Ingeniería , * Diseño de programas, *Administración,*Derecho entre otros.

5. PRINCIPALES APORTES

   • Russell y Kurt Godel son los logicistas mas destacados del Siglo XX con la introducción a la teoría de los tipos y el perfeccionamiento y la divulgación de lo lógica de primer orden o cálculo de predicados de primer orden.