DEPARTAMENTO DE INFORMTICA PRIMER AO DE SISTEMAS INFORMTICOS LABORATORIO DE CREATIVIDAD I

Instructoras: Issela Guadalupe Meja Karen Yasmin Flores Mayra Cristina Lovato

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

TEMA 1: Proposicin y valor de verdad, representacin simblica de las proposiciones, negacin de una proposicin.
PROPOSICION Y VALOR DE VERDAD: Las proposiciones son pensamientos o 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, con proposiciones y por lo tanto son susceptibles a 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. (b) q: La tierra es el nico planeta del Universo que tiene vida. (c) r: Teclee Escape para salir de la aplicacin. (d) s: Cinco mas siete es grande. No es proposicin porque al carecer de contexto, es ambiguo. (e) 6 es un nmero primo (f)Te vas? Es proposicin. No es proposicin porque es una interrogante. Es proposicin. Como es algo que no se sabe si es verdad o no, no es proposicin. No es proposicin, porque es un mandato

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 un proposicin con un valor de verdad de verdadero. Laboratorio de Creatividad Pgina 1

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES 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 Managua es la capital de Nicaragua El ro lempa es el mas largo de Centroamrica Falso verdadero 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. 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 Q: Tres en un nmero impar Z: Las vocales no son cinco P: El Pentium no es un microprocesador. Q: Tres no es un nmero impar. Z: Las vocales son cinco

Laboratorio de Creatividad

Pgina 2

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

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 hidrogeno y oxgeno. 8) Maldita se 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. 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) j) Los colores primarios son azul, amarillo y rojo Gnesis es el libro mas 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. Laboratorio de Creatividad Pgina 3

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES 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.

Laboratorio de Creatividad

Pgina 4

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

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 a) no es cierto que b) y c) o d) o, y/o, oo e) si, entonces f) si y slo si Conectivo negacin conjuncin Disyuncin exclusiva Disyuncin inclusiva condicional bicondicional Smbolo

~, , ^, v v ,

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 No es cierto que La Habana es la capital de Cuba No es cierto que La Habana no es la capital de Cuba Verdadero Falso 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.

Laboratorio de Creatividad

Pgina 5

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

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 Como la tica es el arte de vivir [v] las dos son verdaderas, el

resultado es verdadero.

Quevedo escribi El Quijote [F] y Carlos El enunciado es falso. Marx escribi El Capital [V] Baja California es una isla [F] y Cuba es El enunciado es falso. una pennsula [F]

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.

Aqu no se tratara de conjunciones lgicas, pues no se analizan proposiciones o enunciados.

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 El resultado es que el enunciado es verdadero.

matemticos [V] o son historiadores [F]

O Arqumedes es historiador [F] o Esta proposicin es falsa. Newton es bilogo [F]

Laboratorio de Creatividad

Pgina 6

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

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] El enunciado ser verdadero entonces en El Salvador se tendrn elecciones democrticas [V]. Si Cuba es un pas socialista [V], entonces es un El enunciado es falso. pas antidemocrtico [F].
Laboratorio de Creatividad Pgina 7

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

Si Francia no tiene gobierno democrtico [F], El enunciado es verdadero. entonces en Francia los ciudadanos carecen de libertad [F].

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 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 El enunciado es verdadero. centro del universo [F] Al hombre se le define como animal poltico [V] si y El enunciado es verdadero. slo si vive en sociedad [V] El sol es un cuerpo opaco [F], si y slo si los El enunciado es falso. planetas giran alrededor del sol [V].

Ejemplos de simbolizacin Ejemplo No es cierto que El Salvador est saliendo de la crisis. Si El Salvador aumenta sus exportaciones, entonces se incrementarn sus divisas. Miguel Angel es pintor y Fidias es escultor Octavio Paz es escritor o es poeta ^ v Conjuncin Disyuncin porque simultneamente ambos. O son las 7 de la noche o son las 8 v Disyuncin porque exclusiva hay que inclusiva, es Condicional Smbolo ~ Conector Negacin

Laboratorio de Creatividad

Pgina 8

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

escoger una de las dos. Miguel ngel es autor de La Piedad si y slo si Miguel ngel es escultor. Bicondicional.

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 p V F ~p F V p V V F F

Conjuncin q V F V F p^q V F F F

Disyuncin exclusiva p V V F F q V F V F pvq F V V F

Disyuncin inclusiva p V V F F q V F V F pvq V V V F

Laboratorio de Creatividad

Pgina 9

MODULO II LOGICA SIMBOLICA Y ALGEBRA DE PROPOSICIONES

Condicional p V V F F q V F V F pq V F V V p V V F F

Bicondicional q V F V F pq V F F V

TEMA 3: Tautologa, contradiccin y contingencia.

Laboratorio de Creatividad

Pgina 10