Lógica proposicional y simbólica

Por dónde empezar

Esta unidad forma parte de Filosofía, en el eje Lógica, argumentación y pensamiento crítico. Sus recursos permiten recorrer el lenguaje de la lógica proposicional y las herramientas para analizar razonamientos. Un buen punto de partida es el mapa sobre conceptos de lógica proposicional: distingue proposiciones de preguntas y órdenes, y presenta los valores verdadero y falso.

Después, el diagrama «Mapa conceptual de Lógica Matemática» reúne proposiciones, conectores y métodos para probar la validez de argumentos. Puedes usarlo para situar cada idea antes de entrar en un tema concreto.

De las proposiciones a las tablas

Las fichas «Proposiciones simples y compuestas» ayudan a repasar la diferencia entre ambos tipos de enunciados. A continuación, los mapas de conectores lógicos y tablas de verdad permiten relacionar los símbolos con la forma de construir expresiones. El mapa «Logica Proposicional» también reúne lenguaje natural y formal, conectores, negación y tablas de verdad.

Para practicar, hay un conjunto de fichas de tablas de verdad de bachillerato con expresiones que combinan conjunción, disyunción, negación e implicación. Puedes intentar resolver una expresión y volver al mapa de conectores para revisar las relaciones entre sus partes.

Inferencias y equivalencias

Una vez repasados los conectores, consulta el mapa «Reglas de inferencia logica» y las diapositivas «Reglas de inferencia». Presentan reglas como el modus ponens y el modus tollendo ponens. Compáralas con los materiales sobre cálculo proposicional e inferencia para observar cómo se relacionan las proposiciones dentro de un razonamiento.

También encontrarás recursos sobre equivalencia lógica, tautología, contradicción y contingencia. El mapa «Aplicaciones de las Tablas de Verdad» ofrece otro punto de entrada para trabajar estos temas junto con las tablas.

Combina mapas y tests

Antes de hacer un test, usa un mapa para identificar los conceptos que quieres repasar. El test «lógica proposicional» incluye preguntas sobre proposiciones y tablas de verdad; también hay actividades de tablas de verdad identificadas como iniciales y superiores. Después de responder, vuelve a los mapas o apuntes relacionados con las cuestiones que quieras revisar.

Prueba una actividad de tablas de verdad y contrasta tus respuestas con los recursos de esta página.