Aplicación de reglas de inferencia

Rúbrica. Regla de inferencia.

Realiza lo que se te pide a continuación, basándote en el siguiente ejemplo:

Ejemplo

Demuestra: (pÙq) Ù(rvs)

Premisas dadas

1) p

2) q

3) r v s

4) pÙq, (Conj de 1, 3)

5) (pÙq) Ù(rvs) (Conj de 4, 3)

Ejercicio

Demuestra: s

1) ~pv~q

2) t ⊃ (pÙq)

3) ~ t ⊃ s

4) ~ (pÙq)

5) ~ t MTT 2,4

6) s MPP 3, 5

Hecho en México. B@UNAM de la Coordinación de Universidad Abierta y Educación a Distancia / UNAM.

Todos los derechos reservados 2017.