Download - Calculo de consistencia
Transcript
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.