Material para trabajo autónomo

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.