SOLUCIONES AL EJERCICIO

b. (p V q) -> r, r -> (s V t), t ->u, ¬s & ¬u |- ¬q

-1 (p V q) -> r

-2 r -> (s V t)

-3 t ->u

-4 ¬s & ¬u

5 q

6 (p V q) -> (s V t) SIL 1,2

7 p V q ID 5

8 s V t MP 6,7

9 ¬s EC 4

10 t SD 8,9

11 ¬u EC 4

12 ¬t MT 3,11

13 t & ¬t IC 10,12

14 C MP 4,13

15 ¬q ABS 5-14