Lógica formal . 1ª parte

LA

LÓGICA

FORMAL

¿Qué es la lógica proposicional?

La lógica es la ciencia que tiene por objeto las reglas de validez formal (corrección o no corrección) de los argumentos. Un razonamiento es un conjunto de proposiciones relacionadas de tal manera que de ellas se deriva necesariamente una proposición distinta (la conclusión). Las afirmaciones de las que partimos se llaman premisas. La lógica proposicional, para evaluar si los argumentos son correctos, utiliza un lenguaje concreto. De esta manera, podemos traducir a ese lenguaje las expresiones y argumentos del lenguaje natural y comprobar si realmente la conclusión se sigue de las premisas.

El lenguaje de la Lógica proposicional

Pon el cursor sobre las imágenes para saber más y empezar a practicar

SÍMBOLOSAUXILIARES

VARIABLES PROPOSICIONALES

CONECTORES