作者:Laura Andrea Tupue 3 年以前
212
更多类似内容
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.