DEPARTAMENTO DE INFORMTICA PRIMER AO DE SISTEMAS INFORMTICOS LABORATORIO DE CREATIVIDAD I
2014 MDULO II: LGICA SIMBLICA Y ALGEBRA DE PROPOSICIONES INSTRUCTORAS: ANA YENSY ORTEGA KAREN FLORES
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 1
PROPOSICIONES LENGUAJE NATURAL Y LENGUAJE SIMBLICO Lenguaje Natural:
Antonio come carne y paleta, o come pizza con soda Convirtiendo a lenguaje simblico: 1. Primero hay que descomponer la proposicin compuesta en sus proposiciones simples: p: Antonio come carne q: Antonio come paleta r: Antonio come pizza con soda
2. Escribir en lenguaje simblico (p^q) v r Ejemplo 2: Juan desayuna, s y solo s, se levanta y se baa. p: Juan desayuna q: Juan se levanta r: Juan se baa p (q ^ r)
Ejercicio: En parejas escribirn en lenguaje simblico las siguientes proposiciones. A. Represente el siguiente lenguaje natural a lenguaje simblico: a) Si abordas el autobs a las 7:15 horas, entonces no podrs llegar a la clase de ingls y corres el riesgo de no aprobar el examen.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 2
PERFILES SEGUNDO PERIODO 2 ESPECIALIDAD: NIVEL: 1 ao CDIGO: N MES SEMANA % 1 Abril Del 21 al 25 15% 2 Mayo Del 5 al 9 20% 3 Mayo Del 12 al 16 35% 4 Mayo Del 26 al 30 30% TOTAL 100% Presentacin de Informe impreso (grupal) (10%) y Defensa (individual) (25%) del Proyecto Tcnico Cientfico Prueba escrita e individual sobre los temas abordados en el segundo perodo PERFIL Actividad Integradora DESCRIPCIN Desarrollo en parejas, de guas de ejercicios sobre los temas del segundo periodo Actividad Integradora Prueba Objetiva Actividad Integradora Examen corto e individual sobre lgica simblica y proposiciones INICIO DE PERIODO: 24-mar.-14 FIN DE PERIODO: 6-jun.-14 Instituto Tcnico Ricaldone Perfiles de evaluacin rea tcnica OA02 Ana Yensy Ortega Abarca PERIODO : ASIGNATURA: DOCENTE: Laboratorio de Creatividad I Informtica
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 3
Proposicin y valor de verdad, representacin simblica de las proposiciones, negacin de una proposicin.
Identifica si un enunciado es una proposicin. Es capaz de determinar el valor de verdad de una proposicin y redacta de forma correcta la negacin de stas.
PROPOSICION Y VALOR DE VERDAD: Las proposiciones son enunciados declarativos que pueden ser verdaderos o falsos. Los enunciados interrogativos: Quin es Scrates?; imperativos: Dame tu mano; admirativos: Qu barbaridad!; no son proposiciones y por lo tanto no son ni verdaderos ni falsos. En cambio, las proposiciones u oraciones declarativas como: La puerta es roja, las flores se alimentan de oxgeno, el petrleo es un hidrocarburo, entre otras, son proposiciones y por lo tanto son susceptibles a ser verdaderas o falsas. Es cualquier afirmacin que sea verdadera o falsa, pero no ambas cosas a la vez.
Ejemplos: Resultado (a) p: Existe Premio Nobel de informtica. Es proposicin. (b) q: La tierra es el nico planeta del Universo que tiene vida. Como es algo que no se sabe si es verdad o no, no es proposicin. (c) r: Teclee Escape para salir de la aplicacin. No es proposicin, porque es un mandato (d) s: Cinco ms siete es grande. No es proposicin porque al carecer de contexto, es ambiguo. (e) 6 es un nmero primo Es proposicin. (f)Te vas? No es proposicin porque es una interrogante.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 4
REPRESENTACION DE UNA PROPOSICIN Para representar una proposicin se hace a travs de una letra en mayscula o minscula, seguida de dos puntos y luego el detalle del texto. Ejemplo:
p: Existe Premio Nobel de informtica; en este caso se dice que p es una proposicin con un valor de verdad de falso. T: Managua es la capital de Nicaragua; en este caso T es una proposicin con un valor de verdad de verdadero.
PROPOSICIONES Y VALOR DE VERDAD El valor de verdad de una proposicin es el valor de veracidad o falsedad de una proposicin. Ejemplo: Valor de verdad Existe premio Nobel de Informtica Falso Managua es la capital de Nicaragua verdadero El ro lempa es el ms largo de Centroamrica verdadero
PROPOSICIONES SIMPLES (ATMICAS) Y COMPUESTAS (MOLECULARES) La lgica proposicional distingue entre dos tipos de proposiciones a saber: simples o atmicas y compuestas o moleculares. Las proposiciones simples no se componen de ms proposiciones y carecen de trminos de enlace o conectivos, excepto la negacin. Ejemplo: La matemtica es una ciencia formal. El sol es una estrella.
Las proposiciones compuestas, como su nombre lo indica, se componen de dos o ms proposiciones simples y adems, como rasgo distintivo tienen trminos de enlace o conectivos lgicos. Ejemplo: La lgica es una ciencia formal y la matemtica lo es tambin. La tierra es un planeta si y slo si la tierra gira alrededor del sol.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 5
Baja california no es una isla.
NEGACION DE UNA PROPOSICION Dada una proposicin cualquiera p, llamaremos negacin de p a la proposicin no p y la notaremos p. Ser verdadera cuando p sea falsa y falsa cuando p sea verdadera. Ejemplo:
Resultado P: El Pentium es un microprocesador P: El Pentium no es un microprocesador. Q: Tres en un nmero impar Q: Tres no es un nmero impar. Z: Las vocales no son cinco Z: Las vocales son cinco
A- Proposiciones: Indique si los siguientes enunciados son o no proposiciones. 1) Alto con la luz roja 2) Cuidado con el perro 3) La flor de izote es la flor nacional del El Salvador 4) El Torogoz es el pjaro nacional de el Salvador 5) Centroamrica est formado por cinco pases 6) Para qu sirve la libertad? 7) El agua se compone de hidrgeno y oxgeno. 8) Bendita sea mi suerte! 9) Podemos distinguir 10) Cules son los smbolos patrios? B- Determine si el enunciado es verdadero o falso. a) Todos los salvadoreos cuentan con un empleo digno.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 6
b) Todos pasarn laboratorio de creatividad este ao. c) La tierra es el planeta ms cercano al sol. d) Los metales se dilatan con el calor. e) Todos los nmeros pares dan como resultado 1 al sacar el mod. f) El Salvador tiene 12 departamentos. g) Las matemticas nos sirven para la vida. h) El arcoris est formado por siete colores. i) Los colores primarios son azul, amarillo y rojo j) Gnesis es el libro ms antiguo de la Biblia. C- Para las siguientes proposiciones determine si es simple o compuesta. 1) Si estudiamos para el examen, entonces aprobaremos 2) El sol es una estrella si y slo si la tierra es un planeta 3) Juan y Mara son novios. 4) El Blsamo pertenece a la familia de las papilionceas y el Maquilishuat es rbol nacional de El Salvador. 5) La lnea ms corta entre dos puntos en la lnea recta. 6) No es cierto que el plomo sea radioactivo. 7) Todos los metales se dilatan con el calor. 8) Cuba es una isla y Baja California es una pennsula. 9) Plutn es el planeta mas cercano o el ms lejano de nuestro sistema solar. D- Realice la negacin de todas las proposiciones del ejercicio B.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 7
TEMA 2: Conjuncin, disyuncin, implicacin, equivalencia, tabla de verdad simple y compuesta. Conectivos lgicos Las proposiciones se relacionan mediante trminos de enlace o conectivos lgicos. Estos trminos de enlace son los siguientes:
Trminos de la expresin Conectivo Smbolo a) no es cierto que Negacin ~, b) y Conjuncin , ^, c) o Disyuncin inclusiva v d) o, y/o, oo Disyuncin exclusiva v e) si, entonces Condicional f) si y slo si Bicondicional ,
Negacin: Es un conectivo diferente a los otros cuatros conectivos que enlazan proposiciones. En lenguaje natural se expresa as: no es cierto que, no es el caso que, no ocurre que, no sucede que, es falso que o simplemente no. Es importante indicar que es posible mediante la doble negacin negar un enunciado y convertirlo en verdadero, por ejemplo:
La Habana es la capital de Cuba Verdadero No es cierto que La Habana es la capital de Cuba Falso No es cierto que La Habana no es la capital de Cuba Verdadero
Conjuncin: Este conectivo enlaza o conjunta dos o ms enunciados. En el lenguaje cotidiano se expresa as: y, pero, aunque, adems Por ejemplo: Londres es la capital de Inglaterra y Pars es la capital de Francia. La conjuncin indica que si dos enunciados son verdaderos, unidos por esta conectiva, el resultado ser verdadero, y que cuando algunos de sus enunciados sea falso o bien ambos falsos, el enunciado ser falso. Por ejemplo:
La msica es el placer de escuchar [v] y la tica es el arte de vivir [v] Como las dos son verdaderas, el resultado es verdadero. Quevedo escribi El Quijote [F] y Carlos Marx escribi El Capital [V] El enunciado es falso. Baja California es una isla [F] y Cuba es una pennsula [F] El enunciado es falso.
Cabe sealar que la y slo relaciona o enlaza enunciados, pero no conceptos; por ejemplo: Marco Aurelio fue emperador y filsofo. Marco Aurelio y Marx son filsofos.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 8
Aqu no se tratara de conjunciones lgicas, pues no se analizan proposiciones o enunciados.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 9
Disyuncin: Es un trmino que enlaza y tiene como funcin presentar una disyuntiva entre dos enunciados. En lenguaje natural se expresa mediante el trmino o. Este conectivo indica que si al menos uno de los enunciados simples es verdadero, la proposicin resultar verdadera; y en el caso de que ambos sean falsos la proposicin ser falsa. Por ejemplo:
O Arqumedes y Newton son matemticos [V] o son historiadores [F] El resultado es que el enunciado es verdadero. O Arqumedes es historiador [F] o Newton es bilogo [F] Esta proposicin es falsa.
Tipos de disyuncin: Existen dos tipos: Exclusiva o inclusiva. En la primera una de las dos proposiciones tiene que ser verdadera, por ejemplo: O Darwin es bilogo o es msico. En la inclusiva sus dos alternativas o proposiciones pueden coexistir o ser compatibles, por ejemplo Juan es el padre de la novia o el padrino de la boda, lo que se puede contestar que es las dos cosas. La disyuncin inclusiva es falsa nicamente cuando sus dos alternativas son falsas; en los dems casos es verdadera. En lenguaje natural se distingue una disyuncin de la otra en que la inclusiva se encuentra una o en medio de las dos proposiciones simples que la componen, por ejemplo: Marx fue economista o Marx fue filsofo; en la exclusiva se encuentra una o antes de la primera proposicin y otra en medio de dos proposiciones, por ejemplo: O Cuba es una isla o se encuentra en el continente europeo.
Resultado lgico: Exclusiva: cualquier proposicin o cuyo significado es tal que la proposicin es falsa si ambos componentes son verdaderos o son falsos. Inclusiva: Cualquier proposicin o que resulte verdadera si alguno de sus componentes tambin lo es.
Condicional o implicacin: En el lenguaje natural se expresa as: si, si, entonces, siempre que, entre otras expresiones. Indica que siendo el antecedente verdadero y el consecuente falso, entonces ser falso todo el enunciado y en los dems casos ser verdadero. Por ejemplo:
Si en el Salvador no hay fraude electoral, [V] entonces en El Salvador se tendrn elecciones democrticas [V]. El enunciado ser verdadero Si Cuba es un pas socialista [V], entonces es un pas antidemocrtico [F]. El enunciado es falso. Si Francia no tiene gobierno democrtico [F], entonces en Francia los ciudadanos carecen de libertad [F]. El enunciado es verdadero.
Bicondicional o equivalencia: Este conectivo se expresa mediante las palabras: si y slo si, e indica una relacin doblemente condicionada entre dos enunciados. Este conectivo indica que si ambos
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 10
enunciados son verdaderos o ambos falsos, el resultado ser verdadero. En todos los dems casos sern falsos. Por ejemplo:
El sol es un planeta [F] si y slo si la Tierra es el centro del universo [F] El enunciado es verdadero. Al hombre se le define como animal poltico [V] si y slo si vive en sociedad [V] El enunciado es verdadero. El sol es un cuerpo opaco [F], si y slo si los planetas giran alrededor del sol [V]. El enunciado es falso.
Ejemplos de simbolizacin Ejemplo Smbolo Conector No es cierto que El Salvador est saliendo de la crisis. ~ Negacin Si El Salvador aumenta sus exportaciones, entonces se incrementarn sus divisas. Condicional Miguel Angel es pintor y Fidias es escultor ^ Conjuncin Octavio Paz es escritor o es poeta v Disyuncin inclusiva, porque es simultneamente ambos. O son las 7 de la noche o son las 8 v Disyuncin exclusiva porque hay que escoger una de las dos. Miguel ngel es autor de La Piedad si y slo si Miguel ngel es escultor. Bicondicional.
A. Escriba el valor de verdad al evaluar las proposiciones y el conectivo utilizado. a) El planeta tierra pertenece al sistema solar [V] o la tierra gira sobre su propio eje [V] b) Pitgoras fue un sabio griego [V] y fue originario de Norteamrica [V] c) Todo tringulo se compone de tres lados [V] y sus ngulos internos suman 180 [V] d) Segn Scrates, la maldad es sinnimo de ignorancia [V] y la virtud es sinnimo de sabidura [V] e) Mxico es un pas republicano [V] o es un pas monrquico [F]
B. Determine si las siguientes proposiciones son disyuntivas excluyentes o inclusivas. a) Este libro es un til escolar o es de lgica proposicional. b) O Aristteles es filsofo o es msico.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 11
c) Octavio Paz fue poeta o fue astrnomo. d) O son las doce del da o son las diez. e) Alfonso Reyes fue escultor o ensayista. f) Guatemala pertenece a Centroamrica o a Europa. g) La lgica simblica utiliza smbolos o letras. h) Sor Juana fue monja o poetiza. i) Jos Mart fue cubano o antillano. C. Escribir el valor de verdad de los siguientes enunciados tomando en cuenta el tipo de conectivo que los enlaza. a) Si un estado se define como democrtico [V] entonces todos los ciudadanos pueden participar en asuntos pblicos [V]. b) En el ser humano reside la virtud y el vicio [V] si y slo si no existe un ser externo que gue nuestras vidas [V]. c) Si el hombre es arquitecto de su propio destino [V], entonces l es responsable nico de su existencia [V]. d) Fidias construy el palacio de Bellas Artes [V] su y slo si Moncayo compuso Huapango [V]. e) Si los satlites son planetas [F] entonces son cuerpos opacos [F]. f) Si la isla de Creta se encuentra en el Mediterrneo [F] entonces Cuba s localiza en el Atlntico [F].
D. Represente el siguiente lenguaje natural a lenguaje simblico: a) Si abordas el autobs a las 7:15 horas, entonces no podrs llegar a la clase de ingls y corres el riesgo de no aprobar el examen. b) La Divina comedia la escribi Dante Alighieri o la escribi Miguel ngel y no se edit en el siglo XX. c) Si El Salvador es rico en materias primas y se tiene una administracin adecuada, entonces podra salir de sus crisis econmicas. d) Llueve y hace viento. e) Llueve, y no nieva o hace viento. f) No llueve y no nieva. g) Si llueve, entonces no nieva. h) Ni llueve ni nieva. i) Si jugamos lotera y nos ganamos, entonces nos vamos a Cancn. j) S y slo si tenemos dinero podemos irnos de fiesta; pero nos vamos de fiesta, entonces tenemos dinero.
E. Escriba en lenguaje natural las siguientes proposiciones de acuerdo con las siguientes abreviaturas: W= hace calor R= est lloviendo G= voy C= l viene
Ejemplo: RG, se traducira as en lenguaje natural: si est lloviendo entonces yo voy.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 12
a) R^~G b) ~CG c) WR d) W v R e) ~(R^~G) f) ~(W^R)C g) (~W ^ ~R) C h) (W v ~R) G i) ((W ^R) ^G) ^C j) (G v C) ^ ~(G^C)
Tablas de verdad En el lenguaje simblico de la lgica existen grficas llamadas tablas de verdad, mediante las cuales es posible visualizar las diversas combinaciones de valores de verdad que se les da a las proposiciones, y as poder saber si dichos enunciados son tautolgicos, contradictorios o contingentes. La tabla de verdad de una proposicin compuesta P enumera todas las posibles combinaciones de los valores de verdad para las proposiciones p1, p2, . . . , pn. A continuacin se presentan las tablas de verdad para los conectivos lgicos:
Negacin Conjuncin P ~p P q p^q V F V V V F V V F F F V F F F F
Disyuncin exclusiva Disyuncin inclusiva P q p v q p q p v q V V F V V V V F V V F V F V V F V V F F F F F F
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 13
Condicional Bicondicional P q p q p q p q V V V V V V V F F V F F F V V F V F F F V F F V
Construccin de la tabla de verdad Hay que tener las siguientes consideraciones: Una proposicin solo tendr verdadero y falso. Si una proposicin compuesta est formada por dos proposiciones simples, por ejemplo p y q; entonces se tendr cuatro posibles combinaciones de valores de verdad, ejemplo:
Observe que en la columna de p se tiene dos verdaderas y dos falsas, en la columna de q una verdadera, luego una falsa, otra verdadera y finalmente una falsa. Se puede comprobar si la combinacin de los valores de verdad es correcta si en la tabla elaborada p y q comienzan con verdaderas y terminan con falsas. Para ms de tres proposiciones, es conveniente utilizar la formula 2 n , donde n es el nmero de proposiciones simples. Para tres proposiciones, sera: 2 3 = 8 combinaciones y para cuatro, es 24= 16 combinaciones. Ejemplo para dos proposiciones:
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 14
Ejemplo para tres proposiciones:
A. Elaborar las tablas de verdad de las siguientes proposiciones: a) ~p v q b) ~q v ~p c) ~(p v q) d) ~p ^(q v r) e) (~p v q) ^r f) (p v q) r g) ~q v (p ^r) h) p (q r) i) {[(p v q) r] ^p} r j) ~(~p ^q) (p v ~q) k) (~p v q) q l) (p q) (~q~p)
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 15
TEMA 3: Tautologa, contradiccin y contingencia.
Tautologa: Se da cuando todos los valores de la conectiva principal resultan ser todos verdaderos, es decir, P es un tautologa si es verdadera para todos los valores de verdad que se asignen a p1, p2,, pn. Ejemplo: Determinar si la proposicin (p^q)p es una tautologa.
Al ver el resultado, se puede observar que todas son verdaderas, por lo tanto es una tautologa. Otro ejemplo de tautologa es el que se presenta a continuacin y se puede observar que se tiene como resultado todos verdaderos los valores de verdad:
Contradiccin: Es cuando los valores de la conectiva principal resultan todos falsos, es decir, P es una contradiccin si es falsa para todos los valores de verdad que se asignen a p1, p2,, pn. Ejemplo:
Se puede ver en la tercera columna, que todos los valores de verdad son falsos, por lo tanto es contradiccin.
Contingencia:
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 16
Se da cuando los valores de la conectiva principal unos son verdaderos y otros falsos. Ejemplo: puede verse que al evaluar p bicondicional de q, se obtienen resultados verdaderos y falsos, por lo que se dice que es una contingencia.
Otro ejemplo de contingencia es el siguiente:
Ejemplos con tablas de verdad.
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 17
A. Elaborar la tabla de verdad de los siguientes enunciados e indique si es tautologa, contradiccin o contingencia.
a) p q b) p ~q c) [(pq) ^p] q d) (p v q) q e) ~q ^~p
MODULO II: LGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES
Laboratorio de Creatividad Pgina 18
f) ~ (p v q) ^ p g) ~(p v q) r h) [(p q) ^(qr)] (pr) i) [(pq) ^~q] ~p j) [(pq) ^~q] ~q k) [(~p v ~q) ^~q] q l) [(p v q) ^~p] q m) (p ^q) (r ^ s) ~(p v q)(r v s) ~(r ^ s)