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

-1 a->i

-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