Está en la página 1de 3

Lgica I

Examen parcial: Lgica proposicional

1 de Diciembre de 2004

(1) Formaliza los siguien es enunciados! indicando "u# enunciado simple corresponde a cada cons an e proposicional "ue uses: $1 p o% (a) (b) Federico se ir& a las Fi'i o a las (e)c*elles si ) slo si le oca la lo er+a ) no se arruina en la rule a ,ili no ir& a la -ies a a menos "ue .a)a /ili! ) si /ili .a a la -ies a! ni /arisol ni 0oseli o ir&n1

(2) Formaliza los siguien es argumen os! indicando "u# enunciado simple corresponde a cada cons an e proposicional "ue uses! ) escribi#ndolos en -orma condicional con la conclusin como consecuen e: $1!2 p os% (a) 3probar# lgica! si Dios "uiere1 3probar# lgica si ) slo si es udio ) *ago odos los e'ercicios1 (in embargo! no *e *ec*o los e'ercicios! as+ "ue Dios no "uiere "ue apruebe lgica1 (b) (i el euro es & -uer e! el pe rleo es & bara o pero las expor aciones resul an caras1 (i Europa se endeuda o la econom+a no crece! el pe rleo no es ar& bara o1 La econom+a crece si ) slo si ni las expor aciones resul an caras ni la in-lacin aumen a1 ,or an o! si la in-lacin aumen a! el euro no es & -uer e1 (4) 5az la abla de .erdad comple a de la siguien e -rmula ) de ermina si es au olgica! con ingen e o con radic oria: $1!2 p os% $p (" r)% 6(6$p (6r ")% $6(6" 6r) p%) (4) De ermina si 71! 111! n8 9: para los siguien es casos: (a) (b) 1 p (" r) 2 6p 6" pr 4 6s 6p $1 p o% 4 p

1 (p r) 6(s ) 2 p "6 $1!2 p os%

(2) Demos rar 71! 111! n8 9: para los siguien es casos: (a) (b) 1 6" s 1 6p (6" r) $1!2 p os% 2 s 6r 2 6" 6(" r) 4 6r $1 p o% 6 p

(;) Demos rar 9: : $(6p ") (p 6")% 6(p ") (<) En el e'ercicio 2b! deducir la conclusin a par ir de las premisas1

$1!2 p o% $1!2 p o%

Lgica I

Examen parcial: Lgica proposicional

1 de Diciembre de 2004

(oluciones a los e'ercicios 1=4 (los e'ercicios 2=< ienen m&s de una solucin posible): 1 a) p F se ir& a las Fi'i " F ir& a las (e)c*elles r a F le oca la lo er+a s F se arruina en la rule a (p ") (r 6s) p , ir& a la -ies a " / ir& a la -ies a r /a ir& a la -ies a s 0 ir& a la -ies a (6p ") $" (6r 6")% p aprobar# lgica " D "uiere "ue apruebe lgica s *ago odos los e'ercicios $(" p) $p (r s)% 6s% 6" r es udio

1 b)

2 a)

2 b)

p euro es & -uer e " pe rleo es & bara o r expor aciones caras s E se endeuda econom+a crece u in-lacin aumen a ($p (" r)% $(s 6 ) 6"% $ (6" 6u)%) (u 6p) (" 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 r)% 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 6 0 1 0 1 0 1 0 0 (6 0 0 0 0 0 0 1 0 $p 1 0 1 0 1 0 1 0 (6 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 1 r 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 ")% 1 1 0 0 1 1 0 0 $6 (6 1 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 " 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 6 0 0 0 0 1 1 1 1 r) 1 1 1 1 0 0 0 0 p%) 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0

4) $p 1 0 1 0 1 0 1 0

1 0 1 0 1 0 0 1

(e ra a de una -rmula con ingen e1 4) (a) ($p (" r)% (6p 6"))

(p r)

(upongamos "ue es e condicional es -also1 En onces las siguien es asignaciones son obligadas: I$p (" r)%:1! I(6p 6"):1! I(p r):01 De la >l ima deducimos "ue I(p):0! I(r):01 ?on es os .alores de p ) de r -i'ados! .emos "ue no *a) modo de ob ener: I$p (" r)%:1 )a "ue para "ue es o ocurra! o bien I(p):1! o bien I(" r):1! ) ninguna de es as cosas es posible1 ,or an o! el condicional de las o ras 21

es

au olgico! ) la -rmula s+ es consecuencia lgica

Lgica I

Examen parcial: Lgica proposicional

1 de Diciembre de 2004

(b) ($(p r) 6(s )% p (6s 6p) (p )) (" 6 )

(upongamos "ue es e condicional es -also1 En onces las siguien es asignaciones son obligadas: I$(p r) 6(s )%:1! I(p):1! I(6s 6p):1! I(p ):1 I(" 6 ):0 Dado "ue I(p):1 ) I(p ):1! en onces I( ):1 Dado "ue I(p):1 ) I(6s 6p):1! en onces I(6s):0! ) por an o I(s):1 Dado "ue I( ):1 ) I(s):1! en onces I(s ):1! ) as+ I(6(s )):0 Dado "ue I(6(s )):0 ) I$(p r) 6(s )%:1! en onces I(p r):0 Dado "ue I(p r):0 ) I(p):1! no *a) ning>n .alor de r "ue sa is-aga es o1 5emos alcanzado una con radiccin1 ,or an o! el condicional -rmula s+ es consecuencia lgica de las o ras 41

es

au olgico! ) la