You are on page 1of 19

SALESIANOS

INSTITUTO TCNICO RICALDONE


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)