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
|