Ejemplo de prueba de invalidez
•Descargar como DOC, PDF•
0 recomendaciones•3,460 vistas
Este documento presenta un ejemplo de prueba de validez lógica mediante el método de la tabla de verdad. Se evalúan todas las posibles combinaciones de valores de verdad de las proposiciones para determinar si el argumento es válido o inválido. Tras probar todas las combinaciones, no se pudo hacer que las premisas fueran verdaderas y la conclusión falsa, por lo que se determina que el argumento no es inválido.
Ejemplo de prueba de invalidez
- 1. EJEMPLO DE PRUEBA DE INVALIDEZ p v q p → r q → r ├ r v s V V V F V F F F V F F F p v q p → r q → r ├ r v s V F V F F F F F V F V F p v q p → r q → r ├ r v s F V F F V F F F V V F F p v q p → r q → r ├ r v s F F F F F F F F F V V F
- 2. Debemos dar valor F a la conclusión, que se obtiene dando valor F a las proposiciones atómicas que la componen. Después se trata de dar valor a las restantes proposiciones atómicas, de modo que su juntor principal resultara V. Luego de probar todas las combinaciones, no se ha logrado que siendo F la conclusión, sean V las premisas, por lo tanto el argumento no es inválido.