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.

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.