Verificando mis aprendizajes lgicos

Lgica Proposicional
Lic. ELENA PAULA CAMACHO TRUJILLO 01/03/2009

ndice Proposicin Clases de proposicin Formalizacin Verdad formal

VERIFICANDO LO APRENDIDO SOBRE PROPOSICIONES

Analiza cada unos de los tems y responde correctamente
1) Son proposiciones lgicas: 1) El arcngel San Gabriel cuida a los nios. 2) El smbolo religioso que identifica a !"ico es la #irgen de Guadalupe. $) %as bru&as reali'an aquelarres a medianoc(e. )) %a #aca es un animal sagrado para los (induistas. *) El +,aballero ,armelo- fue un gallo #aliente. .o son incorrectas:/) ../. 0) ) 1 2 ,) )2*22 3) 12$2* E) 4odas 52.6 .o son proposiciones lgicas: 1) %os pases desarrollados son &ustos 1 democrticos. 2) +,aperucita ro&a- es una fbula para nios. $) 1 7 2* 8 2)" )) +%ucifer- es una palabra de 9 t!rminos. *) %os e"traterrestres son seres con un solo o&o Son absurdamente falsas:/) 21 )0) $222 ) ,) 12*2$ 3) 12$22E) ../. .5$) 3e los siguientes enunciados son proposiciones: 1) antengamos la calma por fa#or 2) :o1 est llo#iendo $) 0atmn es un super(!roe de ficcin )) El rbol necesita podarse para crecer *) %os egipcios in#entaron el calendario de $;* das Son ciertas: /)12 22 1 $ 0)12 22 1 * ,)2 1 $ 3)) 1 * 5).6 3e los siguientes enunciados no son proposiciones: 1)3ios es todo poderoso 2)<,ierra la puerta que tengo fro= $)>7? 8 * ))/70 8 07/ *)$@)2 *@; Son ciertas: /)1222 ? $ 0)$2 )2 ? * ,)$1* 3)) ? * 5*) Son proposiciones: 1) +p- 1 +q- son #ariables utili'ables para formali'ar 2) $2 7 )7 " 8 2 $) 112 8*; )) El todo es ma1or que sus partes *) %a practica de lgebra estaba mu1 difcil Son ciertas: /)Solo 1 0)12 $2 ? ) ,) 1 1 * 3)4A3/S E)12 $2 ? * E)4 61

E)../.

VERIFICANDO LO APRENDIDO SOBRE clases de PROPOSICIONES

I
N
1 2 $ )

NSTRUCCIN: A continuacin se te presenta un cuadro con 20 proposiciones, anota en el recuadro si corresponden a proposiciones simples (Predicati as ! relacionales " o compuestas (Con#unti as, implicati as , replicati as, $iimplicati as, ne%ati as , dis!unti as &uertes o dis!unti as d'$iles"

Proposicin
(a &)sica al i%ual *ue *u)mica son ciencias naturales +s &also *ue (a Tierra sea un astro luminoso con lu, propia -rancia ! +spa.a son pa)ses &ronteri,os / 0apn es un pa)s sin recursos naturales no o$stante es una potencia econmica/ 0ulio estudia siempre ! cuando 1ar%ot tra$a#e/ Sarita es casada o soltera/ 1a.ana es s2$ado si 3o! es iernes/

Simple

Compuesta

* ; 9 B

Por*ue la Tierra tiene mo imientos ,se producen las estaciones/ C 4a! contaminacin am$iental ,si (ima es una ciudad industrial/ 15 An%'lica es comadre de S3aron/
11 (as 5e%as ! -u6uo6a son ciudades norteamericana !

#aponesa , respecti amente/

12 (lue e a$undantemente se supone por la presencia del

-enmeno del Ni.o/

1$ +s &also *ue 1arte tiene m2s sat'lites *ue Saturno/ 1) +l 5alle del 1antaro al i%ual *ue el 5alle de Sapito se

encuentra en 0un)n/
1* 7oli ia ! 7rasil son pa)ses ecinos/ 1; +l perro es un cuadr8pedo sal o *ue sea mam)&ero/ 19 Tru#illo es la capital de (a (i$ertad/

1B +s 1entira *ue el Per8 es un pa)s tropical/ 1C +l peso de los cuerpos e*ui ale a la &uer,a de atraccin/ 25 (uis ! Carlos son %emelos/

VERIFICANDO LO APRENDIDO SOBRE formalizacin

1) Si la #erruga apareci en el Dltimo siglo2 su descubridor ni es /lcides ,arrin ni %una Ei'arro. Se Formali'a : GGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGG 2) Es inob&etable que el peso pertenece al espacio circundante e"cepto que pertene'ca al cuerpo. Se Formali'a : GGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGG $) Euerto Hico al igual que Ecuador tienen economas dolari'adas2 aunque se da que ambos son pases latinoamericanos. Se Formali'a : GGGGGGGGGGGGGGGGGGGGGGGGGGGGG )) Si los leones son mamferos2 son #ertebrados. Sin embargo2 el que los leones sean mamferos no implica que sean (biles ca'adores. Se Formali'a : GGGGGGGGGGGGGGGGG *) In producto es de calidad s 1 slo si satisface las necesidades del consumidor2 1 bien2 o tambi!n no es de ba&o costo. Se Formali'a : GGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGGG

VERIFICANDO LO APRENDIDO SOBRE verdad formal

1. . Con (a a!uda de tu docente determina la clase de es*uemas molecular por su conector l%ico a) b) c) d) e)

[ p ( p q ) ] q :
p q r s t J

es un esquema molecular GGGGGGGGGGGGGGGGGGGGGGG

es un esquema molecular GGGGGGGGGGGGGGGGGGGGGGG es un esquema molecular GGGGGGGGGGGGGGGGGGGGGGG es un esquema molecular GGGGGGGGGGGGGGGGGGGGGGG J es un esquema molecular GGGGGGGGGGGGGGGGGGGGGGG

( p q ) ( p q ) J

[( p q) r] s

{ [ ( p q ) r ] s}

p q p q p
+ al8a las si%uientes &ormulas l%icas ! esta$lece si se trata de TAUT9(9:IA , p 1 1 5 5 C9NTRA;ICCIN 9 C9NTIN:+NCIA/ <" p * ( p q ) ( qp ) 1 1 1 5 5 5 1 5 2" * 1 5 1 5

( p +q) ( q p)

p 1 1 5 5

* 1 5 1 5

( p q ) ( q p )
p 1 1 5 5 * 1 5 1 5

( p q ) / ( p q )

p 1 1 5 5

* 1 5 1 5

[ ( p q ) p ] q