12327151
Description
Mind Map by Olga Lucia Silva Marquez, updated more than 1 year ago
|
Created by Olga Lucia Silva Marquez
about 6 years ago
|
|
Lógica proposicional
- 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.
- Comprender los pricipios de las operaciones del cálculo proposicional y sus aplicaciones.
- Identificar si un arguntoes válido o inválido, así como demostrar su validez.
- Traducir proposiciones del lenguaje verbal a variedades lógicas y viceversa.
- Analizar los enunciados para la elaboración de la tabla de verdad.
- Identificar las clases de proposiciones que se pueden encontrar en un enunciado.
- 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.
- 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.
- 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.
Want to create your own Mind Maps for free with GoConqr? Learn more.