EJERCICIOS MD. PARA TRABAJAR EN GRUPO

EJERCICIOS DE LOGICA DEDUCCIONES

1. P˄Q├Q˄P

2. P˄Q├P˄(R˅Q)

3. P∧Q├ (P R )∧(QR)

4. P∨Q ,¬Q├P

5. P∧Q ,P→R ,Q→S├ R∧S

6. A→B,B→ (C∧D ) , (C∧E )→F, A∧E⊢F

6.1. P→Q ,¬Q⊢¬P

7. P∨Q ,P→R ,¬ R⊢Q

8. P→Q ,Q→R⊢P→R

9. (Q∧R )∨P , (Q∧R )→¬S⊢S→P

10. ¬ (¬ P )⊢ P

11. P∨Q ,¬Q⊢P

12. (¬P¬Q ¿→ (R S ) , (R→T ) ,¬T⊢P

13. P∨Q⊢Q∨P

14. P∧Q ,P→R⊢R∧(Q→R)

15. ¬R , P→Q ,Q→R⊢¬P

16 P ,Q, P∧ (P→ (Q=R ) )⊢Q→R

17. P ,¬P⊢Q

18. P∨ (Q∧R )⊢ (P∨Q )∧ (P∨R )

19. ¬P=Q⊢¬(P=Q)

20. P ,Q∨R⊢S→( (P∧Q )∧ (P∧R ))

21. ¬P→Q,R→S ,Q→¬ P ,S→T⊢¬(P↔Q)∧ (R→T )

22. ¬ (P∨Q )⊢¬ P∧¬Q

23. ¬ (P∧Q )⊢¬ P∨¬Q

EJERCICIOS CON ENUNCIADO: METODO ASTERISCO

EJERCICIO 1.

Juan está cansado o enfermo. Si Juan está cansado entonces se queda en casa. No se queda en casa, luego está enfermo.

P= Juan está cansado.

Q= Juan está enfermo.

R = Juan se quedó en casa.

Premisas:

P∨Q

P→R

¬R

∴Q

EJERCICIO 2.-

Si Bernardo se casa entonces Florinda se suicida, Florinda se suicida solo si Bernardo no se hace Monge. Luego si Bernardo se casa, entonces no se hace Monge.

C=Bernardo se casa

S=Florinda se suicida

M=Bernardo se hace Monge.

Premisas:

C→SS→¬M

∴C→¬M

C→S ,S→¬M⊢C→¬M

EJERCICIO 3.-Si la banda no pudiera tocar música o las bebidas no se entregaran a tiempo entonces la fiesta de aniversario tendrá que cancelarse y Alicia organizadora de la fiesta se enojaría .si la fiesta se cancelara, haría que devolver el dinero .no se devolvió el dinero por lo tanto la banda pudo tocar la música.

P=La banda pudo tocar la música

Q=Las bebidas se entregaron a tiempo

R=La fiesta de Aniversario tendrá que cancelarse

S=Alicia organizadora de la fiesta se enojara

T=Había que devolver el dinero

(¬P ∨ ¬Q) (R∧ S)R T¬T

∴P

EJERCICIO 4.

Averiguar a qué lugar debo ir el fin de semana. Habrá un concierto si y solo si hay una conferencia. Si no hay un baile entonces no habrá conferencia. Sin embargo no es el caso que haya baile y concierto pero habrá uno de los dos en consecuencia.

No habrá conferenciaP = Habrá conciertoQ = Hay conferenciaR = Hay un baile

FORMALIZANDO:

PQ¬R¬Q¬ (RP)

RP¬Q