Comprobador de validez de argumentos: premisas, conclusión, contraejemplo o demostración
Introduce premisas y una conclusión y averigua si la conclusión se sigue. Si no, la herramienta da el contraejemplo: una asignación que hace verdaderas todas las premisas y falsa la conclusión.
Un argumento es válido cuando ninguna asignación hace verdaderas todas sus premisas y falsa su conclusión. El comprobador hace exactamente esa pregunta con los métodos exactos del motor y responde con un veredicto, el método y, para un argumento inválido, el contraejemplo reproducido en el evaluador con el valor de cada premisa y de la conclusión. También pregunta si las premisas pueden ser todas verdaderas a la vez, porque un argumento con premisas inconsistentes es válido por una mala razón: no tiene ningún caso en el que fallar.
Esa segunda comprobación es lo que distingue esta herramienta de una prueba de validez a secas. Un resultado que se cumple solo porque las premisas se contradicen se etiqueta como vacuo y nunca se muestra como un éxito sin matices, siguiendo la regla del producto de que una verdad vacua lleva una advertencia.
Escribe una premisa por línea en la notación del motor (A -> B para si A entonces B, NOT, AND, OR, <->), y la conclusión en el último campo. Las formas clásicas (modus ponens, modus tollens, silogismo hipotético y disyuntivo, dilema constructivo) y las falacias clásicas (afirmación del consecuente, negación del antecedente) son ejemplos resueltos en este sitio.
Límites
- Tablas de verdad hasta 12 entradas (4096 filas).
- Mapas de Karnaugh hasta 4 variables efectivas.
- Formas normales hasta 4096 términos; expresiones hasta 20000 caracteres y 64 entradas.
Cómo escribir expresiones
Escribe las entradas como nombres (socio, A, credito_ok) y combínalas con AND, OR, NOT, XOR, -> (implica), <-> (si y solo si), NAND(a, b), NOR(a, b), XNOR(a, b), o los símbolos &&, ||, !, ∧, ∨, ¬, ·, +, ′. También funcionan las formas de mintérminos y maxtérminos: Σm(A, B, C; 1, 3), ΠM(A, B; 0). Precedencia: NOT, luego AND, luego XOR, luego OR, luego ->, luego <->; usa paréntesis para ser explícito. =, ==, ^, &, | y ~ se rechazan con una corrección.
Ejemplo
p1 — A -> B · premisap2 — B · premisaconclusion — A · conclusión
Comprobaciones exactas
Tabla de verdad (4 filas)
| # | A | B | p1 | p2 | conclusion |
|---|---|---|---|---|---|
| 0 | FALSO | FALSO | VERDADERO | FALSO | FALSO |
| 1 | FALSO | VERDADERO | VERDADERO | VERDADERO | FALSO |
| 2 | VERDADERO | FALSO | FALSO | FALSO | VERDADERO |
| 3 | VERDADERO | VERDADERO | VERDADERO | VERDADERO | VERDADERO |
Lectura en lenguaje claro
PrincipianteConclusión: A es verdadero.
IntermedioConclusión: A es verdadero.
AvanzadoConclusión: A es verdadero.
Notación formal: A
Diagrama lógico
Preguntas
¿Que sea válido significa que la conclusión es verdadera?
No. La validez trata de la forma: siempre que las premisas son verdaderas, la conclusión lo es. Que las premisas sean de hecho verdaderas es la solidez, que ninguna herramienta puede decidir sobre el mundo. El glosario tiene los dos términos.
¿Maneja cuantificadores (todos, algunos)?
No. El motor cubre la lógica proposicional y el álgebra de Boole de dos valores. Los argumentos que necesitan predicados y cuantificadores quedan fuera de su alcance, y la página lo dice en lugar de aproximarlos.
Relacionado
Herramientas
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
- Calculadora y simplificador de álgebra de Boole paso a paso (cada ley nombrada y verificada)
- Solucionador de mapas de Karnaugh: de 2 a 4 variables, agrupaciones, SOP y POS
- Conversor a FNC y FND: formas normales conjuntiva y disyuntiva, mintérminos y maxtérminos
- Conversor a solo NAND o solo NOR con demostración de equivalencia
- Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
- Generador de circuitos lógicos: de expresión booleana a diagrama de compuertas (SVG)
- De expresión booleana a Python, SQL, SMT-LIB y LaTeX
Ejercicios
Herramientas
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
- Calculadora y simplificador de álgebra de Boole paso a paso (cada ley nombrada y verificada)
- Solucionador de mapas de Karnaugh: de 2 a 4 variables, agrupaciones, SOP y POS
- Conversor a FNC y FND: formas normales conjuntiva y disyuntiva, mintérminos y maxtérminos
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.