HechoenMéxico.B@UNAMdelaCoordinacióndeUniversidadAbiertayEducaciónaDistancia/UNAM.

Todoslosderechosreservados2017.

Aplicación de reglas de inferencia

Practicando reglas de inferencia. Realiza los siguientes ejercicios:

1. Demuestrap

1) pÙr

2. Demuestrarvq

1) r

3. Demuestrar

1) (r Ù s )Ù ~j

HechoenMéxico.B@UNAMdelaCoordinacióndeUniversidadAbiertayEducaciónaDistancia/UNAM.

Todoslosderechosreservados2017.

Aplicación de reglas de inferencia

4. Demuestrap

1) (p Ù t )Ù (rvt )Ù (p≡s)

5. Demuestra(rÙm)v(p⊃t)

1) r Ù m

6. Demuestra(~jvs)vt

1) ~j

HechoenMéxico.B@UNAMdelaCoordinacióndeUniversidadAbiertayEducaciónaDistancia/UNAM.

Todoslosderechosreservados2017.

Aplicación de reglas de inferencia

7. Demuestra(p⊃t)

1) (r Ùm) v (p ⊃ t) 2) ~ (r Ùm)

8. Demuestras

1) ~j 2) tv(jvs) 3) ~t

9. Demuestrat

1) (jÙs)⊃ t 2) jÙs

HechoenMéxico.B@UNAMdelaCoordinacióndeUniversidadAbiertayEducaciónaDistancia/UNAM.

Todoslosderechosreservados2017.

Aplicación de reglas de inferencia

10. Demuestrapvs

1) m⊃(pvs) 2) r⊃m 3) r

11. Demuestrap⊃~m

1) (pvj)⊃~m 2) s⊃(pvj) 3) r⊃s

12. Demuestra(pvq)⊃s

1) (jÙk )⊃s 2) (pvq) ⊃(jÙk )