Cuestionario de Lógica Condicional
Domina la lógica de los condicionales si/entonces (P → Q). 45 problemas en tres niveles: Nivel Básico cubre la tabla de verdad para P→Q (verdad vacuosa, el único caso falso), Modus Ponens, Modus Tollens y por qué Afirmar el Consecuente y Negar el Antecedente son inválidos. Nivel Intermedio añade la contrapositiva, la recíproca, la inversa, el bicondicional (P↔Q), la equivalencia disyuntiva (¬P∨Q) y el silogismo hipotético. Nivel Avanzado cubre condicionales encadenados, negación de condicionales (¬(P→Q) = P∧¬Q), tautologías, análisis complejo de valores de verdad y casos límite.
Más como este
Cómo Jugar Si / Entonces
Aprende la Tabla de Verdad
La tabla de verdad en el lobby es la base de todo. P→Q es FALSO en exactamente UN caso: cuando P es VERDADERO y Q es FALSO. En todos los demás casos — incluyendo cuando P es FALSO — el condicional es VERDADERO. Esta 'verdad vacuosa' (un antecedente falso hace que el condicional sea verdadero) es el concepto más contraintuitivo para los principiantes.
Reconoce las Reglas de Inferencia
Modus Ponens (P→Q, P, ∴Q) y Modus Tollens (P→Q, ¬Q, ∴¬P) son válidos. Negar el Antecedente (P→Q, ¬P, ∴¬Q) y Afirmar el Consecuente (P→Q, Q, ∴P) son falacias INVÁLIDAS. El nivel Básico pone a prueba los cuatro.
Domina las Formas Equivalentes
El nivel Intermedio pone a prueba cuatro formas relacionadas: la CONTRAPOSITIVA (¬Q→¬P, equivalente a la original), la RECÍPROCA (Q→P, NO equivalente), la INVERSA (¬P→¬Q, NO equivalente), y el BICONDICIONAL (P↔Q, verdadero solo cuando P y Q coinciden). También: P→Q ≡ ¬P∨Q es la equivalencia disyuntiva.
Maneja Casos Avanzados
Las preguntas avanzadas exploran: silogismo hipotético encadenado (A→B→C→D da A→D); qué podemos determinar si se sabe que P→Q es FALSO (P=V, Q=F); tautologías como (P→Q)∨(Q→P); y la negación ¬(P→Q) = P∧¬Q. Estos cubren contenido de cursos de matemáticas discretas y lógica formal.
Características Clave
45 Problemas en 3 Niveles
Nivel Básico (15): La tabla de verdad completa para P→Q con las cuatro filas; identificar el único caso falso (P=V, Q=F); Modus Ponens (P→Q, P, ∴Q); Modus Tollens (P→Q, ¬Q, ∴¬P); por qué Negar el Antecedente y Afirmar el Consecuente son inválidos; y la verdad vacuosa (antecedente falso = siempre verdadero). Nivel Intermedio (15): La contrapositiva (¬Q→¬P), la recíproca (Q→P), la inversa (¬P→¬Q); qué pares son lógicamente equivalentes; el bicondicional (P↔Q); la equivalencia disyuntiva (P→Q ≡ ¬P∨Q); la negación de un condicional; y el silogismo hipotético. Nivel Avanzado (15): Condicionales encadenados; tautologías; saber que P→Q es falso obliga a P=V y Q=F; combinar condicionales para probar bicondicionales; determinar Q a partir de P→Q y ¬P→Q; y el significado lógico de P→P.
Lobby Interactivo de Tablas de Verdad
El lobby muestra la tabla de verdad completa para P→Q con valores de verdad codificados por colores — fichas verdes para VERDADERO, rojas para FALSO — y resalta la única fila que produce FALSO. Esto sirve como referencia persistente y enseña la mecánica central antes de que comience el cuestionario.
Coloreado Semántico de Opciones
Las casillas de respuesta que dicen VERDADERO tienen un tinte verde sutil y las que dicen FALSO tienen un tinte rojo incluso antes de ser seleccionadas, coincidiendo con su significado semántico. Esto crea la asociación entre las etiquetas de valor de verdad y su significado, en lugar de tratar todas las opciones como visualmente idénticas.
Notación Lógica Monoespaciada
Las preguntas y explicaciones utilizan notación lógica estándar: P→Q, ¬P, P∧Q, P∨Q, P↔Q, ∴. La fuente monoespaciada hace que la estructura lógica sea escaneable y refleja cómo aparecen los condicionales en las secciones de matemáticas discretas, ciencias de la computación y razonamiento formal de SAT/LSAT.
Preguntas Frecuentes
¿Por qué 'Si falso, entonces cualquier cosa' es VERDADERO?
Esto se llama verdad vacuosa. Un condicional 'Si P, entonces Q' es una promesa: 'Siempre que ocurra P, ocurrirá Q'. Si P nunca ocurre (P es falso), la promesa nunca se prueba — y una promesa no probada no puede romperse. Por lo tanto, el condicional es técnicamente verdadero. Esto se siente extraño pero es lógicamente consistente: un antecedente falso nunca puede violar el condicional.
¿Cuál es la diferencia entre la contrapositiva, la recíproca y la inversa?
Original: Si P, entonces Q (P→Q). Contrapositiva: Si no Q, entonces no P (¬Q→¬P) — EQUIVALENTE a la original. Recíproca: Si Q, entonces P (Q→P) — NO equivalente. Inversa: Si no P, entonces no Q (¬P→¬Q) — NO equivalente (pero equivalente a la recíproca). Truco de memoria: La Original y la Contrapositiva son equivalentes; la Recíproca y la Inversa son equivalentes entre sí.
¿Qué es Modus Ponens?
Modus Ponens ('afirmación del antecedente'): P→Q, P, ∴Q. Si el condicional se cumple y el antecedente es verdadero, el consecuente debe ser verdadero. Ejemplo: 'Si llueve, el suelo se moja. Está lloviendo. Por lo tanto, el suelo está mojado.' Esta es la forma de inferencia deductiva más básica y universalmente válida.
¿Qué es Modus Tollens?
Modus Tollens ('negación del consecuente'): P→Q, ¬Q, ∴¬P. Si el condicional se cumple y el consecuente es FALSO, el antecedente debe ser falso. Ejemplo: 'Si llueve, el suelo se moja. El suelo NO está mojado. Por lo tanto, NO ha llovido.' Esto es válido porque el condicional se violaría (P=V, Q=F) si P fuera verdadero.
¿Por qué 'Afirmar el Consecuente' es inválido?
Afirmar el Consecuente: P→Q, Q, ∴P es inválido. Incluso si el condicional se cumple y Q es verdadero, P podría ser falso — Q podría haber sido causado por otra cosa. Ejemplo: 'Si llueve, el suelo se moja. El suelo está mojado. Por lo tanto, llovió.' Inválido — el suelo podría estar mojado por un aspersor. El condicional no dice que la lluvia sea la ÚNICA causa de la humedad.
¿Cómo funciona la puntuación?
Las respuestas correctas otorgan 10 puntos (Nivel Básico), 15 puntos (Nivel Intermedio) o 20 puntos (Nivel Avanzado). Las respuestas correctas consecutivas añaden un bono de racha de 5 puntos por respuesta después de la primera. Una respuesta incorrecta restablece la racha a cero.