Cómo resolver: Tablas de Verdad y Silogismos
Qué evalúa esta categoría
Evalúa la lógica proposicional formal — evaluar mecánicamente afirmaciones compuestas construidas con Y, O, NO, O-exclusivo (XOR) y SI-ENTONCES, y aplicar equivalencias lógicas estándar para simplificarlas.
De dónde viene esta tipología
Charles Sanders Peirce desarrolló análisis funcionales de verdad tempranos en las décadas de 1880-90, pero el formato tabular fila por fila que conocemos hoy generalmente se le atribuye al 'Tractatus Logico-Philosophicus' de Ludwig Wittgenstein (1921), con el lógico Emil Post publicando un método equivalente ese mismo año. Las leyes de De Morgan — las reglas para distribuir NO sobre Y/O — llevan el nombre del matemático Augustus De Morgan, quien las formuló formalmente en su libro de 1847 'Formal Logic'.
Cómo abordarla
Arma la tabla de forma sistemática, evaluando primero los paréntesis más internos y avanzando hacia afuera. Memoriza las equivalencias estándar (leyes de De Morgan, doble negación, el contrarrecíproco) para poder simplificar una expresión en lugar de probar cada fila a fuerza bruta. Cuando un problema te da el resultado y te pide los valores de entrada, ve hacia atrás desde ese resultado en lugar de probar combinaciones al azar.
Ejemplo resuelto
Sean P = 'Está lloviendo' y Q = 'El partido se posterga.' La afirmación es: NO (P Y Q). Sabiendo que esta afirmación es FALSA, ¿qué tiene que ser verdadero?
- P es verdadero y Q es verdadero ✓ Respuesta correcta
- P es verdadero y Q es falso
- P es falso y Q es falso
- P es falso y Q es verdadero
Explicación NO (P Y Q) es falsa exactamente cuando (P Y Q) es verdadera — y una conjunción Y solo es verdadera cuando ambos lados lo son. Entonces P tiene que ser verdadero y Q tiene que ser verdadero.
Practica Tablas de Verdad y Silogismos
- Tablas de Verdad y Silogismos I · 12 preguntas · Dificultad 2 de 5
- Tablas de Verdad y Silogismos II · 12 preguntas · Dificultad 3 de 5
- Tablas de Verdad III — Deducción Inversa · 12 preguntas · Dificultad 4 de 5
- Tablas de Verdad y Silogismos IV — Reglas de Inferencia · 12 preguntas · Dificultad 4 de 5