HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ
TEMA N 02: FORMALIZACIN 1. DEFINICION.- Es el procedimiento mediante el cual se identifican proposiciones simples y estructuras lgicas proposicionales, asignndoles a cada uno un determinado smbolo del lenguaje de la lgica Proposicional organizndolos con signos de agrupacin. 1.1 A las proposiciones simples se les reemplaza por variables proposicionales del lenguaje objeto de la lgica Proposicional. Variables a. Del lenguaje objeto. p,q,r,s,t,u,v,w,x,z b. Del Metalenguaje. A,B,C,D,E,F...Z Nota: Las variables del Metalenguaje de LP, se utilizan para hacer operaciones y enunciar reglas, no se utilizan para formalizar.
1.2 A los operadores proposicionales, llamados constantes lgicas, se les reemplaza por:
N OPERADOR Smbolos Nombre Forma bsica 1 Negador no - ~ 2 Conjuntor ...y... . . , &, 3 Disyuntor ...o... v ,+ , Incluyente 4 Disyuntor o...o... v A >< = Excluyente 5 Implicador si...entonces... ,, 6 Replicador ... porque... ,: 7 Bimplicador ... si y slo si... , =, 8 Inalternador ni... ni... + 9 incompatibilizador no..o no... /
2. PROCEDIMIENTO DE FORMALIZACION
Paso 1.- Identificar proposiciones simple y asignarles variables en orden alfabtico. Paso 2.- Identificar la forma. Paso 3 .- Escribir la frmula lgica.
EJEMPLOS: a) Watson y skinner fueron psiclogos.:.. b) Leonardo estudia la carrera de Derecho y se especializar en Derecho Penal de ah que terminar en 6 aos si esta carrera la estudia 3. RECOMENDACIONES PARA FORMALIZAR. A continuacin te presentamos un conjunto de recomendaciones que puedes utilizar para formalizar.
PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ 3.1 El Negador.
a. La doble negacin de una proposicin simple la convierte en una compuesta. b. La formalizacin debe ser literal (tal como est escrita), no valen las equivalencias. c. Las expresiones lingsticas de doble negacin (innegable, inobjetable, no es inadmisible, etc) se formalizan como tal. d. Las negociaciones por prefijos SE FORMALIZAN.
3.2 El conjuntor:
a. Cuando se usan comas (,) y el ltimo operador es y, las comas se formalizan como conjunciones. b. Excepcin: cuando una proposicin utiliza trminos relacionales aunque utilice el trmino y se considera proposicin simple.
3.3 El disyuntor incluyente:
a. Al igual que la conjuncin, las comas seguidas se una o, se formalizan como tal. NOTA: Los dems operadores se formalizan de acuerdo a su sentido, en los casos tal y como se present en la unidad anterior.
3.4 Proposiciones Compuestas:
PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ
PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ
PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ
ACTIVIDAD
I.- FORMALIZA LAS SIGUIENTES PROPOSICIONES. 1. Alicia es enfermera no obstante no es deductiva. 2. Es mentira que Lourdes Flores gane las elecciones presidenciales 2012 salvo que pase a la segunda vuelta. 3. Per y Bolivia son paises fronterizos adems subdesarrollados. 4. Si me levanto temprano, llegar a tiempo al Instituto. 5. No entender bien la clave es consecuencia de estar desatento. 6. Es necesario tener buena presencia para que suficientemente encontrar trabajo. 7. Me informa de todo lo que pasa en el Per siempre que lea peridico. 8. Ser millonario es suficiente para ser adinerado. PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ 9. No acaece que, sea innecesario viajar para triunfar en la vida. 10. Sofa ir al cine o solo al teatro. 11. Ni Ollanta Humala ni Alan Garca pudieron evitar la guerra sucia en la 2 da vueltas de las elecciones del 2006. 12. Todo corolario esta implicado por los teoremas. 13. No solo ingresaste al instituto sino tambin a la universidad. 14. La matemtica es una ciencia formal y bien o tambin la lgica lo es. 15. Solo si juego el partido de ftbol, soy titular. 16. 4+8 es igual a 10+2 17. Si Sofa Fernanda va a la fiesta entonces no estudiar para su examen, pero no es el caso que vaya a la fiesta y apruebe sus cursos. De ah que Sofa Fernanda estudia para su examen. 18. No es cierto que nunca la Trinchera Norte no sea una barra antisocial. 19. Sheyla, karla y stefany intercambian informacin acerca de los avances de la medicina. 20. Luis y Henry no son profesores ,o si no son ingenieros. ACTIVIDAD N 01 1. La proposicin : Porque la luz tiene naturaleza dual, se transmiten en el vaco. Sin embargo, el sonido no se transmite en el vaco porque tiene naturaleza condulatoria se formaliza como: a) (A B) . (- B C) b) (A B) . (- C D) c) (A B) . - ( B C) d) (A B) . (- C D) e) (A B) . (C D)
2. La proposicin: Que la poltica sea social es una condicin suficiente y necesaria para que la poltica no sea econmica se formaliza como: a) A v B b) A B c) A B e) A = - B d) (A B)
3. No es el caso que, Ricardo no sepa tocar el violn y no componga una meloda; puesto que es egresado del Instituto Regional de Cultura se formaliza como: a) (A B) . (C A) b) (- A . - B) C c) ( A v B) C d) A - (- B. - C) e) (-A . - B) C 4. La proposicin: Es falso que si canto me alegro o bien es mentia que siempre que alegro canto se formaliza como: a) A v B b) (A B) . -(B A) c) A - B d) (A B ) v (B A) e) A = B
5. La inflacin es un indicador econmico o tan slo es un problema de los pases latinoamericanos La formalizacin correcta es: a) A v B b) A . - B c) A v B d) A v B e) A v B
6. La proposicin: El lenguaje tiene significacin salvo que tan slo tenga sentido se formaliza como: a)- A v B b)A B c)A B d)- A = -B e) A.B
PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ 7. Subir el precio del pan porque subi el precio de la gasolina en vista de que, si subi el precio de la gasolina, el gobierno no puede controlar la inflacin. Es una proposicin cuya formalizacin correcta es: a) (A B ) . (B - C) b) (A B ) v (B - C) c) (A B ) v (B - C) d) (A B ) (B - C) e) (A B ) (B - C)
8. La formalizacin correcta de: No es el caso que, si Teresa no estudiaba abogaca no habra podido contraer matrimonio; dado que Teresa no ha podido contraer matrimonio porque preside la administracin de una empresa, es: a) (-B C ) (-A - B) b) (-A -B ) (-B C) c) -(-A -B ) (-B C) d) -(-A -B ) (-B C) f) -|(-A -B ) (-B C)|
9. Un juicio apodctico es analtico, pero tambin es necesario y forzoso. Por eso usan lenguajes formalizados. Se formaliza como: a) |A v (A . B)| D b) |A (B . C)| D c) |A v (B v C)| D d) |A . (A . B)| D e) |A . (B . C)| D
10. La piscina esta temperada porque hay calefaccin o la piscina esta temperada porque habr concurso de natacin. Tiene como frmula correcta a: a) (A B) v (A B) b) (B A) v (A v B) c) (A B) v (A C) d) (A B) v (A C) e) (A B) v (A C)
11. La proposicin: O bien el caimn es un reptil o bien invertebrado; sin embargo el delfn es acutico a menos que la ballena sea mamfero se formaliza. 1) (A A - B) . (C v D) 2)(Av - B) . (C D) 3)( - A - B) v (C A) 4) (A v B) . (C v D son ciertas. a)1 y 2 b)2 y 3 c)3 y 4 d) 1 y 4 e) todas
12. Ni Ecuador, ni Bolivia son productos de algodn se formaliza como en: 1) Av B 2) A + B 3) A|B 4) A . B 5) A .-B son ciertas, solamente. a)1 y 4 b)2 y 5 c)4 y 5 d)3 y 4 e)2 y 4
13. La proposicin Es absurdo que, los sueldos no tienen capacidad adquisitiva, pero los trabajadores protestante se formaliza como: a) A v B b) (-A . B) c)A . - B d)-A . - B e) (A .B)
14. La proposicin: Los volcanes durmientes son pasivos a menos que con el tiempo se activen se formaliza como: a) A v B b)A v B c)A v (B C) d)A .(A v B e) Av(B . C) 15. La proposicin Si los recursos naturales son patrimonio de la nacin, en consecuencia es soberano su aprovechamiento se formaliza como a)- A v B b)A B c) A B d)- B - A e)B - A 16. La proposicin : La clula es microscpica, excepto que sea visible a simple vista se formaliza como: a) A v B b)A . B c)A V B d)- A v B e) A v B 17. La proposicin Con tal que la inflacin baje es obvio que se aumentar la balanza comercial se formaliza: a) A B b)A v B c)A >--<B d)A B e)- A B
18. Una empresa persigue un fin lucrativo porque produce dividendos, salvo que nicamente persiga un fin mercantil se formaliza como: a) (A B) v B b)(A B) v A c)(B A ) v C d) (A B) v C e) (-A B) v C
19. La proposicin: Es absurdo que, los vegetales no son verdes pero los frutos son productos de las plantas se formaliza. a) A . B b)- (- A . - B) c)(-Av B) PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ d) - A . (B v A) e) A . B
20. La proposicin Los peces son acuticos o bien los insectos son invertebrados se formaliza a) A v B b) B >--< A c)A - B d)B v A e) A v B
21. La proposicin : Si las plantas son vegetales en tal sentido son seres vivos se formaliza a)A B b)A v B c)A>--<B d)A B e)A -B 22. La proposicin: Es inconcebible que, el tomo est formado por protones excepto que por neutrones se formaliza a) p v q b) q v - p c)- (p v q) d) -(q . p) e)- q v p
23. La proposicin: Es inconcebible que, el Per tenga crecimiento econmico salvo que se termine con la recesin. A menos que no haya inflacin Se formaliza como: a) (A v B) . C b)- (A v B) v C c)- (AB) v C d) - A v B e) - (A v B) v C
24. La proposicin : La lgica es una ciencia siempre que y solo cuando la matemtica sea una ciencia exacta Se formaliza como a) - A B b)A B c)A (B C) d)A B e)A v (B v C) 25. La proposicin: Siempre que los animales no sean voladores, no son insectos se formaliza como: a) AvB b) A B c) A B d)- A - B e)- A - B
26. El que un juicio sea plausible es equivalente a que un juicio sea problemativo se formaliza como a) A . B b)A v B c)A d) AB e)A A B
27. La proposicin: Es absurdo que la Biologa sea una ciencia matemtica excepto que sea cierto que la qumica sea una ciencia natural se formaliza. a)- A v B b)- A v B c)AvB d)A B e) A B
28. La proposicin: Los peces son acuticos o bien los insectos son invertebrados se formaliza a)A v B b)B >--< A c)A - B d)B v A e)A v B 29. La proposicin: Tanto Per como Ecuador no son potencias comerciales Se formaliza. a) A . B b) A + B c)- (A . B) d)- A . B e) A = B
30. Japn y Somalia son los pases de mayor y menor riqueza mundial, respectivamente Se formaliza como a) A . B b)A + B c) A v B d) (A.B) . (C . D) e)A = B
31. La proposicin: Si la energa radiante se convierte en energa trmica, elctrica, mecnica o qumica, sus ondas de propagacin han sido interceptadas por la materia se formaliza. a) (A v B) C b)(A . B .C.D) E c) A B d) A B e) (A v B v C v D) E
ACTIVIDAD N 02 01. La proposicin: Ni Juan ni Pedro ni Facundo te darn la razn, se formaliza: A) p q r B) p (q r) C) (p q) r D) p q r E) N.A.
02 . La proposicin: Estoy enfermo no obstante no faltar a la cita; dado que es importante para el futuro de mi empresa, se formaliza: A) (p q) r B) p (q r) C) p q r D) (p q) r E) p (q r)
03. La proposicin: Si Felipe comete actos de traicin y antipatriotismo, obviamente ser expulsado del club, se formaliza: A) (p v q) r B) p (q r) C) p v (q r) D) (p r) q E) (p q) r
04. La proposicin: Si el nio, el adolescente y el anciano son abandonados, por supuesto sern protegidos por el estado, se formaliza: A) (p q r) s B) (p q r) (s t u) PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ C) (p q r) s D) p (s t u) E) p q
05. La proposicin: Sin mandato judicial ni autorizacin de la persona que lo habita, no se puede ingresar en el domicilio, tampoco efectuar investigacin, se formaliza: A) (p q) (r s)
B) (p q) (r s) C) (p q) (r s) D) (p q) (r s) E) (p q) (r s)
06. La proposicin: Suponiendo que el mnibus sale hoy para Ayacucho, es obvio que no cay un huayco o tampoco hubo un terremoto, se formaliza: A) p (q r) B) p (q v r) C) p (q r) D) p (q v r) E) N.A.
07. La proposicin: Para que Javier obtenga un puesto en la Orquesta Sinfnica, es necesario que sea msico al igual que compositor, se formaliza: A) p (q r) B) (p q) r C) p (q r) D) p (q r) E) (p q) r
08. La proposicin: Es suficiente que, para que Matilde pague sus tributos es necesario que cobre puntualmente su giro en el banco; para que el banco no decida embargar su propiedad, se formaliza: A) (p q) r B) (p q) r C) (p q) r D) (p q) r E) (p q) r
09. La proposicin: Es incompatible que, las peleas callejeras se producen por pandilleros salvo que se produzcan por gente de mal vivir, se formaliza: A) (p q) B) (p v q) C) (p v q) D) p/q E) (p/q)
10. La proposicin: El que el congreso sea una institucin publica es incompatible con que tenga treinta aos de antigedad. Se formaliza: A) p & q B) p & -q C) p / q D) p v q E) p q
11. La proposicin: Que el negador es un conector mondico es incompatible con que sea simple, por prefijos o compuesto, se formaliza: A) p / q / r / s B) p / (q / r / s) C) p / q D) p / (q r s) E) p / (q v r v s)
12. La proposicin: Ral viajar a Londres, de modo que estudiar el idioma y se graduar de contador, se formaliza: A) p (q r) B) p (q r) C) p (q v r) D) p (q v r) E) N.A.
13. La proposicin: Si el embajador ha viajado, ha debido ir o a Buenos Aires o a Brasilia. Debo concluir que ha ido a Brasilia, pues ha viajado y no ha ido a Buenos Aires, se formaliza: A) [p (q v r)] [r (p q)] B) [p (q v r)] [r (p q)] C) [p (q r)] [r (p q)] D) [p (q v r)] [r (p q)] E) [p (q v r)] [r (p q)]
14. La proposicin: Los analistas de juegos utilizan la matemtica; pues esta les permite plantear leyes adems reglas, siempre y cuando sean utilizadas correctamente, se formaliza: A) p [q (r s)] B) (p q) (r s) C) [(p q) r] s D) p [q (r s)] E) p [(q r) s]
15. La proposicin: Maruja ensea en la universidad, sin ser profesora; sin embargo, estudia por las tardes pues no tiene tiempo por las maanas. Adems, cuando trabaje 30 aos, podr jubilarse, se formaliza: A) (p q) [(r s) (t u)] B) (p q) (r s) (t u) C) p (q r) (s t) D) (p q) (r s) (t u) E) [(p q) (r s)] (t u)
16. La proposicin: Es falso que vendes tu casa al igual que tu auto. Sin embargo no vendes tu casa ni tu auto siempre y cuando vendas tu empresa, se formaliza: A) (p q) v [(p q) r] B) (p q) [(p q) r] C) (p q) [(p q) r] D) [(p q) (p q)] r PROGRAMA DE FORMACIN GENERAL HABILIDADES LGICO MATEMTICAS Mg. MILAGROS A. OLIVOS JIMENEZ E) N.A.
17. Es incorrecto que 1 y 3 son pares. Sin embargo 7 y 11 son primos, se formaliza: A) (p q) (r s) B) (p q) (r s) C) (p q) (p q) D) (p q) (r s) E) (p q) (r s)
18. La proposicin: Es mentira que amanecer nublado salvo que sea falso que estemos en verano, se formaliza: A) (p v q) B) (p v q) C) p v q D) p E) q v p
19. La proposicin: Los grmenes que se encuentran en la placa dental pueden llegar a los pulmones y causar una neumona que puede ser letal en los ancianos, por lo que es necesario la higiene para una vida saludable, se formaliza: A) (p q) r B) (p q) (r s) C) p q D) p (q r) E) (pq) r
20. La proposicin: Es mentira que Ral postular a medicina pero tambin es mentira que Rita postular a derecho y a ingeniera, se formaliza: A) p q r B) p (q r) C) p (q r) D) p (q v r) E) N.A.
21. La proposicin: Siempre que es falso la malaria y el clera son enfermedades endmicas producidas por bacterias; por ello son curables pues existen medicamentos de mucha eficacia A) { (p q) (r s) } B) { (p q) [(r s) t] } C) (p q) [(r s) t] D) (p q) (r t) E) N.A.
22. La frmula (q r) p, se lee correctamente: 1) Es suficiente que me prepare pero que no ingrese, para que consiga empleo 2) Si Ral enciende la luz del mismo modo como no prende la lmpara, obviamente que gastar menos energa 3) Es necesario que la proposicin sea la explicitacin del juicio aseverativo, para que tenga coherencia as como ambigedades. 4) Los peces respiran por branquias porque viven en el mar y no en la tierra 5) Ya que Martn es abogado pero no juez, podr litigar tranquilamente en el juzgado Son ciertas: A) 1, 2 y 5 B) 1 y 2 C) Slo 3 y 4 D) 1 y 4 E) 3, 4 y 5
23. La proposicin: Si es falso que la lgica y la matemtica sean ciencias formales, ni la lgica ni la matemtica utilizan la induccin para demostrar sus principios. Se formaliza: A) (p q) (r s) B) [(p q) (r s)] C) [(p q) (r / s)] D) (p q) (r / s) E) (p q) (r s)
24. La proposicin: Los nmeros 1, 2 y 3 son naturales consecutivos, sin embargo los nmeros 1 y 5 no son consecutivos. Se formaliza: A) p q B) (p q r) (s t) C) p q D) (p q) r E) p (q r)
25. Si es necesario que vare el campo elctrico para que cree un campo magntico, adems, si resulta necesario que vare el campo magntico para que cree un campo elctrico; luego se originan los rayos X. Se formaliza: A) [(p q) (r s)] t B) [(p q) (q p)] r C) [(p q) (q p)] r D) [(p q) (r s)] t E) [(p q) (r s)] t
26. La expresin: Slo si juego cuando no canto, no canto cuando duermo; en vista de que ni duermo ni canto cuando juego. Se formaliza: A) [(p q) (q r)] [(r q) p] B) [(p q) (q r)] [(r q) p] C) (p q) [(r q) p] D) (p q) [(r q) p] E) [(p q) (q r)] [(r q) p]