Reglas De Inferencia

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: (pvt) ∧ (rvu)

1) p∧q

2) r∧s

3) p

4) pvt

5) r

6) (pvt) ∧ (rvu) __SIMP_ _1,2_____ AD 4,6

Reactivo 2

Demostrar: q

1) (r ∨ q)

2) ~ r

3) q _MTP____ ___1,2___

Reactivo 3

Demostrar: q

1) (r ⊃ q)

2) r

3) q ___MPP__ ___1,2_____

Reactivo 4

Demostrar: (p ⊃ q)

1) (q ⊃ r)

2) ~ r

3) ~ q ____MTT_ ___1,2_____

Asesora, ¿hay un error aqui? En lugar de q era r ???

Reactivo 5

Demostrar: r⊃m

1) (r ⊃ q)

2) (q ⊃m)

3) (r ⊃m) ___SH__ ___1,2_____

...