Mind map

Lógica proposicional

Olga Lucia Silva Marquez pensamiento lógico matemático trabajo proposiciones Spanish

Map content

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.
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.
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
APLICACIÓN: la lógica se puede aplicar en diferentes áreas : * Ingeniería , * Diseño de programas, *Administración,*Derecho entre otros.
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.