by Laura Andrea Tupue 3 years ago
212
More like this
by UNIVERSIDAD SERGIO ARBOLEDA
by grace figueroa
by JESSICA GUADALUPE RAMOS HERNANDEZ
by Sebastián Cruz
LENGUAJE FORMAL
Λ,ν,~,→, ←→
LENGUAJE NATURAL
y, o, no, si...entonces,si solo si.
Conceptualización
La lógica ofrece métodos que enseñan cómo formar proposiciones, evaluar sus valores de verdad y determinar si unas conclusiones se pueden deducir correctamente a partir de proposiciones supuestas
Lógica simbólica o formal.
Se encarga de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia
Lógica tradicional o no formal.
Se puede considerar que la lógica no formal resume las experiencias humanas obtenidas del conocimiento y de la observación del mundo circundante.