Comprobador de validez de argumentos lógicos
Escribe las premisas y la conclusión: la herramienta construye la tabla de verdad conjunta y te dice si el argumento es válido, con los contraejemplos marcados si no lo es.
Valores de verdad:
· De teclado valen
- ~ & v -> <->
Cómo se usa
Un argumento es válido cuando no existe ninguna interpretación que haga verdaderas todas las premisas y falsa la conclusión. El comprobador construye la tabla de verdad de premisas y conclusión —igual que en los ejercicios resueltos— y busca contraejemplos: si no hay ninguno, la conclusión es consecuencia lógica de las premisas. Prueba con el modus ponens (premisas p → q y p, conclusión q) o comprueba por qué la falacia de afirmación del consecuente (premisas p → q y q, conclusión p) no es válida.
¿Necesitas entender lo que sale? Practica con los ejercicios resueltos de lógica o escríbenos para clases individuales.