Actividad-Buscando-la-regla-correcta

Buscando la regla correcta


Nombre del asesor: Alonso Reyes Maren


Grupo: 1402-0205-05

Fecha: 16/03/14



Actividad. Buscando la regla correcta

A continuación se te ofrecen unaserie 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 espacioazul 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) _MPP__ __2,4____



Reactivo 2

Demostrar: r
1) (pq) ⊃ (rvs)
2) t
3) q
4) (t  q) ⊃ p
5) s

6) __CONJ___ __2,3____
7) __MPP___ __4,6____
8) __CONJ___ __3,7____
9)__MPP___ __1,8____
10) __MTP___ __5,9____


Reactivo 3

Demostrar: r
1) (pq) ⊃ r
2) p
3) q
4) __CONJ___ ___2,3_____
5) __MPP___ ___1,4_____









Reactivo 4

Demostrar: ~r
1)(r ⊃ s)
2) ~ s
3) __MTT___ ____1,2____












Reactivo 5

Demostrar: (pvt)  (rvu)

1) (p  q)
2) (r  s)
3) __SIMP___ ____1____
4) __AD___ _____3___
5) __SIMP_______2____
6) __AD___ ______5__
7) __CONJ___ ____4,6____


Buscando la regla correcta


Nombre del asesor: Alonso Reyes Maren


Grupo: 1402-0205-05

Fecha: 16/03/14



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 seaplicó (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) _MPP__ __2,4____



Reactivo 2

Demostrar: r
1) (pq) ⊃ (rvs)
2) t
3) q
4) (t  q) ⊃ p
5) s

6) __CONJ___...