Universidad Diego Portales Facultad de Economa y Empresa Otoo 2010

Marcel Saintard Vera Asignatura: lgebra

!U A "# $% A : &E"!UA'E S M()& *+ PA,-E "#$ : &+! *A .% &+! *A de P,+P+S * +"ES: 1.Sean los enunciados declarativos representados por las proposiciones p y q: p: 4 es un nmero primo y q: 4 es divisor de 32 Exprese en espaol los enunciados representados por: a) p q b) q p c) p q d) p q e) p q f) (q p) q Si se sabe !ue p es falsa" q es verdadera y !ue r es falsa" determine el valor de verdad de las si#uientes proposiciones : a) (p q) r b) (p r ) q c) ( p r ) q d) (p r ) (r p) %ndi!ue" en cada caso" si la expresi&n simb&lica !ue corresponde es A: p q & B: q p" escribi'ndola a su lado. p s&lo si q ...................... p es una condici&n suficiente para q ...................... p es una condici&n necesaria para q ...................... (na condici&n suficiente para p es q ...................... (na condici&n necesaria para p es q ...................... )ara !ue ocurra p es suficiente !ue ocurra q ...................... )ara !ue ocurra p es necesario !ue ocurra q ...................... +onsidere las proposiciones l&#icas" p: ,-l es %n#eniero +ivil." q: ,-l es %nform/tico." y" r: ,-l es empresario.. Escriba en forma simb&lica los si#uientes enunciados: a) -l no es %n#eniero +ivil ni %nform/tico" pero si Empresario. b) -l no es %n#eniero +ivil y es %nform/tico. c) Ser %n#eniero +ivil o Empresario es lo mismo !ue ser %nform/tico. d) Si 'l es %n#eniero +ivil e %nform/tico" entonces es Empresario. e) Si no es %n#eniero +ivil y es %nform/tico" entonces es Empresario. f) Es %n#eniero +ivil s&lo si es %nform/tico y Empresario. 1efina proposiciones simples apropiadas y tradu2ca a metalen#ua3e los si#uientes enunciados : a) Si los limones son caros y el a2car es barata" entonces es dif4cil encontrar limonada amar#a. b) (na condici&n necesaria para !ue los limones sean baratos es !ue el a2car sea cara. c) Se encuentra f/cilmente limonada amar#a" a menos !ue el a2car sea barata. d) 5a limonada amar#a se encuentra dif4cilmente si el a2car es barata.

.-

$.-

*.-

0.-

6.-

7 trav's de una matri2 de valores veritativos" determine si los es!uemas son Tautologa" Contrad !! "n o Cont ngen! a : a) # ( p q ) ( p q )] (p q ) b) c) d) e) f) #) 8) # (q p ) q ] # q ( q p ) ] (pq)#(pr)(qr)] # ( p q ) ( q q )] ( p q ) # a ( $ ! ) ] # ( a $ ! ) { ( $ ! ) a } ] # ( p q ) q ] p

# ( a $ ) ( a $ ) ] $ # ( p q ) ( q q ) ] ( p q )

9.-

:erifi!ue si las si#uientes proposiciones compuestas tienen car/cter de ;autolo#4a" +ontradicci&n o +ontin#encia" sin recurrir a tablas de verdad: a) % # ( a $ ) ! & # ( a ! ) $ & ' b) c) d) e) f) g) ( p q ) # ( p q ) ( q p ) & % # a ( $ ! ) & $ ' ( a ! ) # ( p q ) ( p q ) & ( p q ) # (q r ) p & # ( p r ) ( p r ) & % a # ! ( a $ ) & ' ( ! $ )

# ( p q ) ( r p ) & ( p r )

<.=.-

Sabiendo !ue p q C" demuestre !ue # ( p q ) ( p q ) & p T (tili2ando el /l#ebra l&#ica: a) 1emuestre !ue: ( p q ) p p q b) c) d) e) Si p q T" demuestre !ue: # ( p q ) ( p q ) & q T Simplifi!ue al m/ximo: # ( p q ) ( q p ) & ( q p ) 1emuestre !ue: % # p ( q p ) & q ' ( p q ) Simplifi!ue al m/ximo: i) #p ( q p ) & p ii) q # p q & iii) ( p q ) ( q p )

1>.- 1emuestre !ue los es!uemas p ( q r ) y ( p q ) r son l&#icamente e!uivalentes. 11.- 1etermine el valor de verdad de p " q y r en cada uno de los si#uientes casos" sabiendo !ue el valor de verdad del es!uema propuesto es el !ue se indica. a) #(pq)(rq)]:( b) %#(pq)(pr)](pr)' :) c) d) e) % # ( p q ) ( p r ) ] [ p ( q r ) ] ' : ( %#(pq) (pr)][(pq)(qr)]' :) % # p ( q r ) ] [ ( p q ) ( p r ) ] ' : )* +omente su resultado.

1 .- 1emuestre !ue si q tiene v. de v. )" entonces la proposici&n compuesta

( p q ) # ( q r ) ( p q ) ] resulta ser )alsa. 1$.- +onsidere tres proposiciones p" q y r de las cuales se sabe !ue p q es (erdadero" y !ue q r es )also. 1etermine el valor veritativo del es!uema ( r p ) ( r p ). 1*.- (n funcionario bancario 8i2o tres declaraciones sucesivas. 5a primera fue: Si el 3efe no se retira temprano" 8oy lle#ar' tarde a casa y partiremos maana a la playa. 5ue#o di3o: El 3efe se retirar/ temprano o lle#ar' temprano a casa. )or ltimo" declar&: Si el 3efe se retira temprano y partiremos maana a la playa" entonces partiremos maana a la playa o lle#ar' temprano a casa. Si se supo !ue sus dos primeras afirmaciones son ?alsas" @Au' valor de verdad tiene su ltima declaraci&n B 10.- (sando el /l#ebra l&#ica" obten#a un es!uema e!uivalente m/s sencillo para: a) # p ( q p ) ] q b) c) d) e) f) #) (q p)(pq) ( p q ) q

(pq)q p[q(pq)] [(pq)(pq)]p [ (pq)(pq)]

16.- 1emuestre" usando /l#ebra l&#ica" las si#uientes e!uivalencias entre es!uemas. a) q [ p ( p q ) ] ( p p ) b) c) e) f) p [ ( p q ) ( q p ) ] ( p p ) p # p ( q p ) ]

T
p

d) [ ( p q ) ( p q ) ]

[( p q) (q p )] q
q[(pq)(pq)] p q

19.- +onsidere los enunciados : %.- Si Cuan termina de solucionar ese problema y el 8orario de traba3o termin&" entonces se retira muy satisfec8o. %%.- Cuan no termin& de solucionar ese problema o el 8orario de traba3o no termin&" o Cuan se retira muy satisfec8o. ;radu2ca cada enunciado a metalen#ua3e y demuestre" usando /l#ebra de proposiciones" !ue los enunciados % y %% son e!uivalentes. 1<.- 1emuestre !ue el valor de verdad de ( p q ) [ ( p r) (q r ) ] es independiente del valor de verdad de la proposici&n r. 1=.- Se define el nuevo conectivo mediante la tabla ad3unta. Exprese p (q r) s&lo ent'rminos de las conectivas y .
p ( ( ) ) q ( ) ( ) p q ) ) ) (

.% 1.-

*UA"- F *AD+,ES: 1ado A + % 1, 2, 3, 4, - '. Dalle el valor de verdad de las si#uientes proposiciones: a) . /A 0 / 1 3 + 10 b) / A: / 1 3 10 c) / A 0 / 1 3 2 d) / A: / 1 3 3

.-

1ado el con3unto A + %1, 3, -, 3'" determine el v. de v. de las si#uientes proposiciones: a) ( /A 0 4/2 4 15/ 4 - + 0 ) ( /A 0 /2 + / ) b) ( /A 0 2/ 1 36 + -/ ) ( /A 0 2/ + / )

$.-

1adas las si#uientes proposiciones: a)

/ N: / es par o 7par*

b) ( a R0 a2 + 1) 00 + 1* c) 8 todo n97ero pr 7o es 7par, enton!es dos no es pr 7o* d) a, $ R: e) f)

a$ = a $
0
n

n N: #(n + 1) (0n + 0)& ( n0 + 1)* / R: n N0 / 2 n*

#) / A: 6 A 0 /2 1 62 2-: donde A + %1, 2, 3, 4, -' 8) / N: (/2 + 2 ) (/ es par)* i) 3)

/ Z 4 %0': / es pos t vo 6 negat vo* Todo n97ero 7par es pr 7o, enton!es ! n!o no es pr 7o*
1etermine el valor de verdad E( & )) de cada proposici&n. Escriba la ne#aci&n de las proposiciones !ue usted identific& como falsas.

Se pide: i) ii) *.-

Simplifi!ue" obteniendo una proposici&n de tipo afirmativo. a) % # / en ;0 p(/) & # / en ;0 q(/) & ' b) % / en ;0 # p(/) q(/) & ' c)

% # / en ;0 p(/) & # / en ;0 q(/) & '

d) % # / en ;0 p(/) & # / en ;0 q(/) & ' e) % # / en ;0 p(/) & # / en ;0 q(/) & ' 0.1ada las si#uientes proposicionesF iii) a) b) c) d) e) f) 6.i) trad2calas a len#ua3e simb&lico ii) ni'#uelas o simplif4!uelas. vuelva a traducirlas al espaol.

;odos los nmeros son racionales y existen nmeros !ue no son enteros. 7l#unas leyes no son le#4timas pero deben ser respetadas. 7l#unos 8ombres cantan y no son felices. Existe al menos una empresa !ue 8ace pernos pero no tuercas. Existe por lo menos un 8ombre !ue es rico y no es feli2. Es falso !ue todos los alumnos estudiosos aprobaron el ramo yGo se ir/n de vacaciones. a) ;rad2calo a len#ua3e l&#ico. b) Hi'#uelo y simplif4!uelo.

+ada una de los si#uientes enunciados"

a) b)

c) d) e)

c) :uelva a escribirlo en espaol. Si todos los %n#enieros +iviles tuviesen una se#unda fuente de in#reso podr4an proyectarse profesionalmente yGo aumentar sus rentas. Si al#unos de los libros de contabilidad de un monopolio de empresas son revisados" entonces todos los contadores tendr/n !ue 3ustificar los #astos yGo no podr/n salir de vacaciones. ;odas las empresas si no pa#an sus impuestos en la fec8a correspondiente" deber/n pa#ar multa yGo solicitar una pr&rro#a. Si al#unas empresas mayoristas reducen sus stocIs" entonces todos los supermercados estar/n compitiendo y prolon#ar/n sus 8orarios de cierre. Si 8oy no llueve" entonces todos los alumnos de /l#ebra podr/n asistir a la Softel en +errillos yGo al seminario de Jercosur en el Edificio 1ie#o )ortales.

Algunas respuestas: %..- a) ( b) ( c) ) d) ( *.- a) (p q) rF e) (p q) rF 0.- a) (p q) rF 6.- TF 9.- <F =.- c) p CF <F TF TF e) i) p <F <F b) p qF f) (q r) p b) p qF <F <F ii) p q TF <F c) q rF <F C. !) p:(F q:(F r:) d) p:)F q:(F r:) iii) p <. d) q r. $.- A, A, B, B, A, B, A. c) (p r) qF d) (p q) rF

11.- a) p:(F q:)F r:( e) p:(F r:(F q:l $re 1$.- El es!uema resulta ) 10.- a) q %%.1.- a) ) .- a) ( b) (p q) b) ( b) ) 1=.- # p % (q r)'&

b) p:(F q:(F r:)

1*.- Su ltima declaraci&n es ( c) (p q) c) ( d) ). e) ( f) ( #) ) 8) ( i) ) 3) ( d) p q e) T f) p #) p

$.- a) ( b) ) c) ( d) )

*.- a) # / en ;0 p(/) & # / en ;0 q(/) & ' b) / en ;0 # p(/) q(/) & ' c) # / en ;0 p(/) & # / en ;0 q(/) & ' d) #/ en ;0 p(/) & # / en ;0 q(/) & ' e) # / en ;0 p(/) & # / en ;0 q(/) & '