Ejercicio 1 de deduccin

Simboliza y demuestra por deduccin natural que la conclusin es vlida.

1. R, R (S T)

P.D. (S T)

2. (P R) (S Q), (P R)

P.D. (S Q)

3. J (M N), (F G) J, (F G)

P.D. (M N)

4. T, T Q, Q S

P.D. S

5. (G E), (E K), G, (K L), (L M), (M B)

P.D. B

6. (C D), (C D) F, F (A B), (A B) (R S)

P.D. (R S)

7. (Q R), (R T), (S Q), (T P), S

P.D. P

8. (Q S), (P S), P

P.D. Q

9. (S R), R, (S T), (T P)

P.D. P

10. (S R), S, (Q R), (Q T)

P.D. T

Ejercicio 1 de deduccin
Simboliza y demuestra por deduccin natural que la conclusin es vlida.
1. R, R (S T)

P.D. (S T)

2. (P R) (S Q), (P R)

P.D. (S Q)

3. J (M N), (F G) J, (F G)

P.D. (M N)

4. T, T Q, Q S

P.D. S

5. (G E), (E K), G, (K L), (L M), (M B)

P.D. B

6. (C D), (C D) F, F (A B), (A B) (R S)

P.D. (R S)

7. (Q R), (R T), (S Q), (T P), S

P.D. P

8. (Q S), (P S), P

P.D. Q

9. (S R), R, (S T), (T P)

P.D. P

10. (S R), S, (Q R), (Q T)

P.D. T