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.