Actividad.

Buscando la regla correcta

A continuacin se te ofrecen una serie de argumentos cuya demostracin de validez est resuelta. Obsrvalos y escribe en el
espacio amarillo la abreviatura de la regla que se aplic (por ejemplo: SIMP CONJ MPP, etc.) y en el espacio azul escribe la o
las lneas que se utilizaron para llegar a la conclusin, antalas separadas por una coma (por ejemplo 3,4, 6, 1,5).
Reactivo 1

Demostrar: r
1)
2)
3)
4)
5)

Reactivo 2

pvq
p r
q
__p_ __SIMP____
_r__ _MTT 1,2_____

Demostrar: r
1) (pq) (rvs)
2) t
3) q
4) (t q) p
5) s

6) ___t__ __MPP 1,2____

7) __q___ ___MTT 2,3___
8) __p___ _AD 4_____
9) __r___ _MPP 1,5_____
10) _r____ __SIMP 6____

Reactivo 3

Demostrar: r
1) (pq) r
2) p
3) q
4) __p___ __MPP 1,2______
5) ___r__ ___MPP 1,2,_____

Reactivo 4

Demostrar: ~r
1) (r s)
2) ~ s
3) __r___ __MTT 1,2______

Reactivo 5

Demostrar: (pvt) (rvu)

1) (p q)
2) (r s)
3) __p___ __SIMP 1______
4) __pvt___ ___AD 3_____
5) ___r__ ___SIMP 2_____
6) __rvu___ ___AD 5_____
7) ___(pvt) _(rvu)_ ___AD 4,6_____