SOLUCIONES AL EJERCICIO 3
|
a. t aceptar el trabajo. p dejar de pintar. s alejarse de los sueños. ( t V p) -> s, (t & p) |- s Deducción: -1 (t V p)-> s -2 t & p 3 t EC 2 4 t V p ID 3 5 s MP 1,4 b. a ->
i, a -> (i ->v), i-> (v -> g) |- a->g -2 a-> (i ->v) -3 i-> (v->g) 4 a 5 i MP 1,4 6 v->g MP 3,5 7 i->v MP 2,4 8 v MP 7,5 9 g MP 6,8 10 a->g II 4,9 *Las líneas azules indican que se trata de un supuesto |