Filosofía · 2o de Preparatoria · El Logos y la Argumentación · I Bimestre

Lógica Proposicional Básica

Los estudiantes introducen los conceptos de proposiciones, conectivas lógicas y tablas de verdad para evaluar la validez de argumentos simples.

• Aprendizajes Esperados SEP
• SEP EMS: Lógica Formal
• SEP EMS: Pensamiento Abstracto

Acerca de este tema

La lógica proposicional básica presenta a los estudiantes las proposiciones simples y compuestas, las conectivas lógicas como conjunción (y), disyunción (o), negación (no), implicación (si... entonces) y bicondicional (si y solo si), junto con las tablas de verdad para determinar su valor de verdad. En el plan SEP de Filosofía para 2° de preparatoria, este tema de la unidad El Logos y la Argumentación permite construir tablas de verdad para proposiciones compuestas, evaluar la validez de argumentos simples por su forma lógica y explicar su utilidad para clarificar el pensamiento diario.

Este contenido fortalece el pensamiento abstracto y la lógica formal, competencias clave del programa EMS. Los alumnos distinguen entre validez lógica y verdad factual, analizan argumentos cotidianos como 'Si llueve, me mojo' y reconocen tautologías o contradicciones. Así, se prepara el terreno para debates filosóficos y razonamientos éticos más avanzados.

La lógica proposicional se beneficia de enfoques activos centrados en el estudiante porque las tablas de verdad y conectivas se vuelven tangibles al manipular tarjetas o software colaborativo. Estas actividades revelan patrones lógicos de forma visual e interactiva, reducen la abstracción y fomentan discusiones que corrigen errores comunes, haciendo el aprendizaje memorable y aplicable.

Preguntas Clave

1. Construye tablas de verdad para proposiciones compuestas utilizando conectivas lógicas.
2. Evalúa la validez de argumentos simples mediante el análisis de su forma lógica.
3. Explica la utilidad de la lógica proposicional para clarificar el pensamiento.

Objetivos de Aprendizaje

• Identificar proposiciones simples y compuestas en argumentos dados.
• Construir tablas de verdad para proposiciones compuestas utilizando conectivas lógicas (conjunción, disyunción, negación, implicación, bicondicional).
• Evaluar la validez de argumentos simples analizando la forma lógica y sus tablas de verdad.
• Explicar la utilidad de la lógica proposicional para clarificar el pensamiento en la toma de decisiones cotidianas.

Antes de Empezar

Introducción a la argumentación

Por qué: Los estudiantes deben tener una comprensión básica de qué es un argumento y la diferencia entre premisas y conclusión.

Identificación de oraciones declarativas

Por qué: Es fundamental que los alumnos distingan las oraciones que afirman algo (y por tanto pueden ser verdaderas o falsas) de otras formas de lenguaje.

Vocabulario Clave

Proposición	Una oración declarativa que puede ser verdadera o falsa. Por ejemplo: 'El cielo es azul'.
Conectivas lógicas	Símbolos que unen proposiciones simples para formar proposiciones compuestas. Incluyen 'y' (conjunción), 'o' (disyunción), 'no' (negación), 'si... entonces' (implicación), 'si y solo si' (bicondicional).
Tabla de verdad	Una tabla que muestra todos los posibles valores de verdad de una proposición compuesta para cada combinación de valores de verdad de sus proposiciones simples.
Argumento válido	Un argumento cuya conclusión se sigue necesariamente de sus premisas; si las premisas son verdaderas, la conclusión debe ser verdadera.

Cuidado con estas ideas erróneas

Idea errónea común

La implicación 'p → q' significa que p causa q.

Qué enseñar en su lugar

La implicación es material y solo falsa si p es verdadera y q falsa; no implica causalidad. Discusiones en parejas con ejemplos contrafácticos ayudan a los estudiantes a separar forma lógica de intuiciones causales cotidianas.

Idea errónea común

La disyunción 'p o q' siempre es exclusiva.

Qué enseñar en su lugar

En lógica proposicional, es inclusiva: ambas pueden ser verdaderas. Actividades de clasificación de tarjetas revelan esta diferencia, permitiendo que los alumnos testen casos y ajusten sus modelos mentales mediante retroalimentación grupal.

Idea errónea común

La negación de una conjunción es la negación de ambas proposiciones.

Qué enseñar en su lugar

Por De Morgan, ¬(p ∧ q) equivale a ¬p ∨ ¬q. Construir tablas en grupos pequeños visualiza equivalencias, corrigiendo errores al comparar columnas y discutir por qué las reglas formales superan la intuición.

Ideas de aprendizaje activo

Rotación de Estaciones: Conectivas Lógicas

Prepara cuatro estaciones con tarjetas de proposiciones y conectivas: una para conjunción y disyunción, otra para negación, una para implicación y la última para bicondicional. Los grupos rotan cada 10 minutos, construyen proposiciones compuestas y verifican con tablas de verdad parciales. Al final, comparten un ejemplo por estación.

45 min·Grupos pequeños

Construcción Colaborativa: Tablas de Verdad

Divide la clase en parejas para asignar una proposición compuesta como (p ∧ q) → r. Cada pareja completa la tabla de verdad paso a paso, discute valores y presenta al grupo. Usa pizarras digitales para proyecciones compartidas.

30 min·Parejas

Juego de Cartas: Validación de Argumentos

Crea mazos con premisas y conclusiones. En grupos pequeños, los estudiantes forman argumentos, evalúan su validez con tablas de verdad y clasifican en válidos o inválidos. El grupo con más correctos gana puntos.

35 min·Grupos pequeños

Debate Guiado: Aplicaciones Cotidianas

Presenta argumentos reales de noticias mexicanas. La clase entera analiza su forma lógica en tiempo real, construye tablas colectivamente en la pizarra y vota por validez con justificación.

40 min·Toda la clase

Conexiones con el Mundo Real

• Los abogados utilizan la lógica proposicional para construir argumentos sólidos en juicios, asegurándose de que sus premisas lleven lógicamente a la conclusión deseada para convencer al jurado.
• Los programadores informáticos aplican principios de lógica proposicional al escribir código, usando declaraciones condicionales ('if-then') y operadores lógicos para controlar el flujo de ejecución de un programa.

Ideas de Evaluación

Verificación Rápida

Presenta a los estudiantes tres oraciones y pídeles que identifiquen cuáles son proposiciones y cuáles no. Luego, dales una proposición simple y pídeles que creen una proposición compuesta usando una conectiva específica (ej. 'y').

Boleto de Salida

Entrega a cada estudiante una tabla de verdad incompleta para una proposición compuesta simple (ej. P y Q). Pídeles que la completen y que escriban una oración explicando qué significa una fila donde la proposición compuesta es verdadera.

Pregunta para Discusión

Plantea el siguiente argumento: 'Si estudio para el examen (P), entonces aprobaré (Q). Estudié para el examen (P)'. Pregunta a los estudiantes: ¿Cuál es la conclusión lógica? ¿Cómo pueden usar una tabla de verdad para verificar la validez de este argumento?

Preguntas frecuentes

¿Cómo construir tablas de verdad para proposiciones compuestas?

Enumera todas las combinaciones posibles de valores de verdad para las proposiciones atómicas (2^n filas). Evalúa cada conectiva columna por columna: conjunción es T solo si ambas T, implicación falsa solo si antecedente T y consecuente F. Practica con ejemplos simples como p ∧ ¬q para ganar fluidez.

¿Cómo puede el aprendizaje activo ayudar a entender la lógica proposicional?

Actividades como rotar estaciones con conectivas o juegos de cartas hacen visibles los patrones lógicos abstractos. Los estudiantes manipulan elementos físicos, discuten en grupos y verifican resultados colectivamente, lo que reduce confusiones y fortalece la retención al conectar teoría con práctica inmediata y colaborativa.

¿Para qué sirve la lógica proposicional en la argumentación diaria?

Clarifica si un argumento es válido independientemente de su contenido, detectando falacias en debates políticos o publicitarios comunes en México. Ayuda a evaluar 'Si estudias, apruebas' sin asumir causalidad real, promoviendo pensamiento crítico en contextos filosóficos y cívicos.

¿Cuáles son las conectivas lógicas básicas y sus tablas?

Conjunción (∧): T si ambas T. Disyunción (∨): F solo si ambas F. Negación (¬): invierte el valor. Implicación (→): F si p T y q F. Bicondicional (↔): T si ambos iguales. Memoriza con tablas de 2-4 filas y practica evaluaciones paso a paso.