HechoenMéxico.B@UNAMdelaCoordinacióndeUniversidadAbiertayEducaciónaDistancia/UNAM.
Todoslosderechosreservados2017.
Aplicación de reglas de inferencia
Actividad. 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 vs 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)