El documento describe un cálculo de consistencia y prueba de validez para el argumento "p v q p → r q → r ├ r v s". Se asignaron valores de verdad V (verdadero) a las proposiciones atómicas p, q, r, s de forma que la conclusión r v s también resultara V, demostrando la consistencia de las premisas.

1. CALCULO DE CONSISTENCIA Y PRUEBA
DE VALIDEZ
Argumento:
p v q p → r q → r ├ r v s
Ejemplo de cálculo de consistencia
p v q p → r q → r ├ r v s
V 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.