CALCULO DE CONSISTENCIA Y PRUEBA DE VALIDEZ

Argumento:

p v q p r q r ├ r v s

Ejemplo de cálculo de consistenciap v q p r q r ├ r v sV V V V V V

V V V

Se han asignado valores de verdad a las proposiciones atómicas de forma que el juntor principal resulte V.n.b. que para determinar la consistencia solo se ha mirado la consistencia de las premisas.