BUSCANDO LA REGLA CORRECTA

Actividad. Buscando la regla correcta

A continuación se te ofrecen una serie de argumentos cuya demostración de validez está resuelta. Obsérvalos 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 líneas que se utilizaron para llegar a la conclusión, anótalas separadas por una coma (por ejemplo 3,4, 6, 1,5).

Reactivo 1

Demostrar: r

1) pvq

2) p ⊃ r

3) q

4) p

5)_ ~r_ MTT_ _____1,2_

Reactivo 2

Demostrar: r

1) (pq) ⊃ (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) (pq) ⊃ 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) _p_AD___ _____ 3_ _ _

5) _r_SIMP_ _____ 2 _ __

6) _r AD___ _____ 5 ___

7) _(pvt) _∧ (rvu)___ ____4,6____

...