EJEMPLO DE PRUEBA DE INVALIDEZ

p v q p r q r ├ r v sV V V F V F F F

V F F F

p v q p r q r ├ r v sV F V F F F F F

V F V F

p v q p r q r ├ r v sF V F F V F F F

V V F F

p v q p r q r ├ r v sF F F F F F F F

F V V F

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.