TRABAJO COLABORATIVO

PASO 2. CLCULO PROPOSICIONAL E INFERENCIA LGICA

HAROLD MATEO CAICEDO COD.

PAOLA ANDREA CASTRO COD.
EUNICE LORENA GONZALEZ HOYOS COD. 65555408
JOSE WILLIAN MORA COD.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

PROGRAMA DE LICENCIATURA EN MATEMATICAS
CURSO DELOGICA MATEMATICA
NOVIEMBRE DE 2017
 INTRODUCCION

El presente trabajo contiene el desarrollo del trabajo grupal del paso 2, de la primera
unidad Clculo proposicional e inferencia lgica donde se emplea una
estrategia de aprendizaje que espera que los estudiantes estn en capacidad de
solucionar ejercicios, problemas y preguntas orientadoras desde los conocimientos
desarrollados adems de resolver situaciones de su entorno. En el trabajo se
elabora un informe en pdf, donde se compilan los aportes de la actividad grupal a lo
largo del proceso en el foro del mismo, abarcando las participaciones de cada uno
de los integrantes con la solucin a las preguntas generadoras propuestas y dems
temas vistos.

Para los estudiantes, la lgica es muy importante, ya que sta proporciona

caractersticas del razonamiento, dando claridad y concisin para la concentracin
en lo esencial de un contexto.
 TRABAJO COLABORATIVO

Preguntas generadoras:

Un buque que se encuentra anclado en un atracadero tiene fija a unos de

sus costados una escalera en la que la diferencia de altura entre cada
peldao es de 50 cm. Si el agua est a nivel del segundo escaln y la marea
empieza a subir a razn de 50 cm por hora. Al nivel de qu escaln se
encontrar el agua tres horas despus?

RESPUESTA:
Como es lgico pensar, al transcurrir cada hora el agua tapara un peldao ms,
entonces para tres horas siguientes estara en el 5 peldao, pero se debe tener en
cuenta que el buque flota, por tanto, a medida que la marea sube l lo hace tambin
y se mantendr al nivel del segundo peldao.

Al leer cada uno de los siguientes textos Cul sera el orden lgico de los
prrafos para tener un texto coherente?

a) Cuando Edison lo vio lo nico que dijo fue:

b) Gracias a Dios, podemos empezar de nuevo
c) En aquel momento tena 67 aos
d) El laboratorio de Thomas Edison fue prcticamente destruido por un
incendio en diciembre de 1914
e) Que se pensaba no iba arder
f) Aunque el laboratorio era de cemento
g) Sin embargo, cuando su hijo Charles encontr a Edison
h) Con su cabello blanco ondeando en el viento
i) este incendio es de gran valor, todos nuestros errores se estn quemando
con el
j) Por lo tanto, gran parte del trabajo de Edison se destruy esa noche
k) Tres semanas despus del incendio Edison fabric su primer fongrafo.

RESPUESTA:
d,f,e,j,g,c,h,a,i,b,k

Quedara as:
El laboratorio de Thomas Edison fue prcticamente destruido por un incendio en
diciembre de 1914, aunque el laboratorio era de cemento, que se pensaba que no
iba a arder. Por lo tanto, gran parte del trabajo de Edison se destruy esa noche.
Sin embargo, cuando su hijo Charles encontr a Edison, en aquel momento tena
67 aos, con su cabello blanco ondeando en el viento; cuando Edison lo vio lo nico
que le dijo fue: Este incendio es de gran valor, todos nuestros errores se estn
quemando con l, Gracias a Dios podemos empezar de nuevo".

Tres semanas despus del incendio Edison fabric el primer FONGRAFO.

En Turqua se acostumbraba que los reos condenados a muerte eligieran

la forma de morir, para ello deberan de decir una proposicin. Si la
proposicin era verdadera lo decapitaban y si era falsa lo ahorcaban. El da
del juicio un reo judo dijo la siguiente proposicin: Ser ahorcado y
continu Si me ahorcan van a quebrantar la ley puesto que lo que he dicho
es verdad, por lo tanto, deberan de decapitarme; pero si me decapitan,
tambin van a quebrantar la ley puesto que lo que he dicho es falso. Qu
hacen con el judo, lo decapitan, lo ahorcan, lo dejan libre?

LA RESPUESTA es que lo ahorcan, porque al contradecirse miente, pasa

en la vida real cuando alguien se contradice, no hay fundamentos, por tanto
la informacin no se toma como verdadera. El reo se contradijo, usando la
parbola para distorsionar la informacin y que el receptor se confundiera,
su razn era engaar, por eso termina ahorcado.

2. Verifique, con tablas de verdad, que los siguientes condicionales son

tautologas
 ( p q) ( p q)

P q P^q P q (P^q)( Pq)

V v v v v

V f f f v

F v f v v

F f f v v

RESPUESTA: Es tautologa.

3. Utilice una tabla de verdad para verificar la ley distributiva:

p (q r) (p q) (p r)

P q r qvr p (q r) P^q P^r (p ^ q) v (p ^ r)

V V V V V V V V
V V F V V V F V
V F V V V F V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F

Son Equivalentes.

4) Que reglas de inferencia se utilizan en las siguientes deducciones?

Alicia estudia matemticas. Por tanto, Alicia estudia o bien matemticas o

bien ingeniera
 P= Alicia estudia matemticas
q= Alicia estudia ingeniera

P____
:. P q. CONCLUSIN
Regla de la adicin

Henry estudia matemticas e ingeniera. Por lo tanto, Henry estudia

matemticas
P= Henry estudia matemticas
q= Henry estudia ingeniera

pq
p .. CONCLUSIN
Regla de simplificacin

Si llueve , se cierra la piscina. Llueve; por tanto , est cerrada.

p= llueve
q =se cierra la piscina

P
P=>q CONCLUSIN
______
q
Regla Modus ponens

Si nieva hoy, se cerrar la universidad. La universidad no est cerrada hoy.

Por tanto, no nieva hoy.

P= nieva hoy
q= Hoy se cerrar la universidad

pq y ~q premisas

~p . CONCLUSIN
 pq
~q
--------------
:.~p
Regla modus tollens

Si voy a nadar, entonces estar al sol demasiado tiempo. Si estoy al sol

demasiado tiempo, me quemar. Por tanto, si voy a nadar me quemar.

P= voy a nadar
q = estoy al sol demasiado tiempo
r= me quemar
premisas:
P q y
qr
Conclusin= P r
pq
qr
-----------------------
:. Pr
Regla de Silogismo hipottico

5) Demuestre que la conclusin es consecuencia lgica de las premisas dadas.

Si el reloj esta adelantado, entonces Juan llego antes de las diez y vio partir el
coche de Andrs.
Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs. O
Andrs dice la verdad o estaba en el edificio en el momento del crimen. El reloj
esta adelantado. Por lo tanto, Andrs estaba en el edificio en el momento del
crimen.
 P= el reloj esta adelantado => q= juan llego antes de las diez vio partir el coche
de Andrs
P=> q
q___________
:. q
r= Andrs dice la verdad
~q Juan no vio partir el coche de Andrs
r=> ~ q
~q
:.=>~ r (Andrs no dice la verdad)

O Andrs dice la verdad o s= Andrs estaba en el edificio en el momento del

crimen
r s
P= el reloj esta adelantado
1) P=> q
2) r=> ~ q
3) rs
4) P
5) q MPP ( 1,4)
6) ~r MMT (2,4)
7) q MMM (5,2)

Conclusin: Andrs estaba en el edificio en el momento del crimen

 BIBLIOGRAFIA

- Lewin, R. (2010 ). Teora de conjuntos. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?p
pg=3&docID=10526962&tm=1480955380279

-Cardona, S.(2010). Lgica matemtica para ingeniera de sistemas y

computacin. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?p
pg=1&docID=10565960&tm=1480954958178

- Domingo A. (2009). Lgica matemtica. Junio 14 de 2014. De

monografas. Sitio web:
http://www.monografias.com/trabajos-pdf3/logica-
matematica/logica-matematica.pdf

.
Ruiz, P. (2014).Pensamiento lgico matemtico. Recuperado
de: http://pedroruiz69.wixsite.com/pensamiento-logico-matematico
http://documentos.mideplan.go.cr/alfresco/d/d/workspace/SpacesSt
ore/6a88ebe4-da9f-4b6a-b366-425dd6371a97/guia-elaboracion-
diagramas-flujo-2009.pdf
 TRABAJO INDIVIDUAL
PASO 2. CLCULO PROPOSICIONAL E INFERENCIA LGICA

EUNICE LORENA GONZALEZ HOYOS

COD. 65 555 408

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

PROGRAMA DE LICENCIATURA EN MATEMATICAS
CURSO DELOGICA MATEMATICA
CEAD GIRADOT
NOVIEMBRE DE 2017
 INTRODUCCION

El presente trabajo contiene el desarrollo de la PARTE INDIVIDUAL del paso 2, de

la primera unidad Clculo proposicional e inferencia lgica que emplea una
estrategia de aprendizaje para que el estudiante est en capacidad de solucionar
ejercicios, problemas y preguntas desde los conocimientos desarrollados a lo largo
del curso.
 EJERCICIOS TRABAJO INDIVIDUAL

1. Cules de las siguientes frases son proposiciones? Cul es el valor

de verdad de aquellas que son proposiciones?

o Cali es la capital de Colombia.

RTA. Es una declaracin, por lo tanto, es una proposicin, porque

podemos decir si es verdadera o falsa.

Valor de verdad: FALSA

o Buenos Aires es la capital de Argentina.

RTA. Es una declaracin, por lo tanto, es una proposicin, porque

podemos decir si es verdadera o falsa.

Valor de verdad: VERDADERA

o 2+3=5.

RTA. Es una expresin cuyo valor de verdad es VERDADERA.

Luego es una proposicin.

o qu da es hoy?

RTA. Es una pregunta que se hace, carece de valor de verdad, es

decir, no se puede afirmar si es verdadero o falso, luego no es una
proposicin.

2. Cul es la negacin de cada uno de los siguientes enunciados?

o Hoy es jueves.
NEGACION: Hoy no es jueves

o No hay polucin en Bogot.

NEGACION: Hay polucin en Bogot.
 o 2+1=3.
NEGACION: 2+1 3

o El verano de Villavicencio es clido y soleado.

NEGACION: El verano de Villavicencio no es clido ni soleado.

3. Sean p y q los enunciados

p: Est permitido nadar en la costa de Cartagena

q: Se han divisado tiburones cerca de la costa

Exprese cada una de las siguientes proposiciones en lenguaje natural.

a. ~ q ------------ No se han divisado tiburones cerca de la costa

b. P q------------ Est permitido nadar en la costa de Cartagena o Se han

divisado tiburones cerca de la costa.

c. P q -------------- Est permitido nadar en la costa de Cartagena y Se han

divisado tiburones cerca de la costa.

d. ~p q ----------- No est permitido nadar en la costa de Cartagena o Se

han divisado tiburones cerca de la costa.

4. Sean p y q los enunciados

p: Estamos bajo cero

q: Nieva

Escriba los siguientes enunciados utilizando p, q y conectivos lgicos:

 a) Estamos bajo cero y nieva.

RTA: p q

b) Estamos bajo cero, pero no nieva.

RTA: p ~q

c) No estamos bajo cero y no nieva.

RTA: ~p ~q

d) Bien estamos bajo cero o bien nieva (o ambas cosas).

RTA: (p V q) V (p q)

5. Sean p y q los enunciados

p: Conduces a ms de100 Km/h

q: Te multan por exceso de velocidad

Escriba los siguientes enunciados utilizando p, q y conectivos lgicos:

a. No conduces a ms de 100 Km/h.

RTA: ~P

b. Conduces a ms de 100 Km/h, pero no te multan por exceso de velocidad.

RTA: P ~q

c. Te multarn por exceso de velocidad si conduces a ms de 100 Km/h.

RTA : q p
 d. Si no conduces a ms de 100 Km/h no te multarn por exceso de
velocidad.

RTA : ~p ~ q

e. Conducir a ms de 100 Km/h es suficiente para que te multen por

exceso de velocidad.

RTA : p q

6.Sean p, q y r los enunciados:

p: Se han visto osos pardos por la zona

q: Es seguro caminar por el sendero
r: Las bayas del sendero estn seguras.

Exprese los siguientes enunciados utilizando p, q, r y conectivos lgicos:

a. Las bayas del sendero estn seguras, pero no se han visto osos
pardos por la zona.

RESPUESTA: r ~p

b. No se han visto osos pardos por la zona y es seguro caminar por el

sendero, pero las bayas del sendero estn seguras.

RESPUESTA: (~Pq) r

c. Si las bayas del sendero estn seguras, es seguro caminar por el

sendero, si y solo si , no se han visto osos pardos por la zona.

RESPUESTA: (r q ) ~ p
7.Escriba cada uno de los siguientes enunciados en la forma si p,
entonces q.

a. Nieva siempre que el viento sopla del noreste.

RTA. Si sopla el viento del noroeste entonces nieva.

b. El manzano florecer si el tiempo se mantiene clido durante una

semana.

RTA. Si se mantiene el tiempo clido durante una semana, entonces

el manzano florecer.

c. Que el Real Madrid gane el campeonato implica que venci al

Barcelona.

RTA. Si el real Madrid gan el campeonato entonces venci al

Barcelona.

8.Escriba cada uno de los siguientes enunciados en la forma p si, y slo

si q.

a) Si hace calor afuera, te compras un helado, y si te compras un

helado, hace calor afuera.

RTA: Compras un helado si y solo si hace calor afuera.

b) Para ganar la rifa es necesario y suficiente tener el nmero ganador.

RTA. Ganas la rifa, si y solo si tienes el numero ganador.

c) Ascenders slo si tienes contactos, y tienes contacto slo si

asciendes.

RTA. Ascenders si y solo si tienes contactos.

9.Enuncie la recproca, la contra recproca y la inversa de cada uno de los
siguientes condicionales.

a. Si un entero es par, entonces es divisible por 2.

RECIPROCA: Es divisible por 2 entonces si es un entero.

CONTRA RECIPROCA: No e s divisible por 2 entonces si un entero no

es par.

INVERSA: Si un entero no es par, entonces no es divisible por 2

b. Voy a clases siempre que vaya a haber un control.

RECIPROCA: cuando hay un control, entonces voy a clases

CONTRA RECIPROCA: No va a haber control, entonces no voy a clases

INVERSA: No voy a clases , entonces no va a haber control

c. Cuando me acuesto tarde, es necesario que duerma hasta el medioda.

RECIPROCA: Es necesario que duerma hasta el medioda,

entonces me acuesto tarde.

CONTRA RECIPROCA: No es necesario que duerma hasta el

medioda, entonces no me acuesto tarde.

INVERSA: Cuando no me acuesto tarde, entonces no es necesario

dormir hasta el medio da.
 d. Un entero positivo es primo slo si no tiene otros divisores
distintos de 1 y l mismo.

RECIPROCA: si no tiene otros divisores distintos de 1 y l mismo,

Un entero positivo es primo

CONTRA RECIPROCA: si tiene otros divisores distintos de 1 y el

mismo, entonces un entero positivo, no es primo.

INVERSA: Un entero positivo no es primo, entonces si tiene otros

divisores distintos de 1 y el mismo.

10.Construir la tabla de verdad para:

a) p q q p
b) r s q s q r
c) p (q r)

A) p q q p

P q ~p ~q pq ~q~p p q q p
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V
B) r s q s q r
q r s ~q ~r rs (r s) S ~q (S~q)~r A B
q
V V V F F V V F V V
V V F F F F V F V V
V F V F V F V F V V
V F F F V F V F V V
F V V V F V F V F V
F V F V F F V F V V
F F V V V F V V V V
F F F V V F V F V V

A: B:
(r s) q (S ~q) ~r

C) ~P (q r)

p q R ~p qr ~p (q r)
V V V F V V
V V F F F V
V F V F V V
V F F F V V
F V V V V V
F V F V F F
F F V V V V
F F F V V V
11.Utilizando el modus ponendus ponens, llegue a la conclusin C

a. P1: Si hoy es domingo, entonces hay futbol

P2: Hoy es domingo
C: Hay futbol
2
b. P1 : Si x es un nmero para, entonces x es par
P2 : x es un nmero par
2
C: x es par

c.. P1 : p q s
P2 : p
C : q S

12. Utilizando el modus tollendo tollens, llegue a la conclusin C

a. P1 : Si estoy preparado profesionalmente, entonces triunfar en

mis negocios.
P2 : Fracas en los negocios
C : No estoy preparado profesionalmente.

b. P1 : S t
P2 : t
C:~S
c. P1 : p q r
P2 : r
C : ~ ( p q) r
 BIBLIOGRAFIA

- Lewin, R. (2010 ). Teora de conjuntos. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?p
pg=3&docID=10526962&tm=1480955380279

-Cardona, S.(2010). Lgica matemtica para ingeniera de sistemas y

computacin. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?p
pg=1&docID=10565960&tm=1480954958178

- Domingo A. (2009). Lgica matemtica. Junio 14 de 2014. De

monografas. Sitio web:
http://www.monografias.com/trabajos-pdf3/logica-
matematica/logica-matematica.pdf

.
Ruiz, P. (2014).Pensamiento lgico matemtico. Recuperado
de: http://pedroruiz69.wixsite.com/pensamiento-logico-matematico
http://documentos.mideplan.go.cr/alfresco/d/d/workspace/SpacesSt
ore/6a88ebe4-da9f-4b6a-b366-425dd6371a97/guia-elaboracion-
diagramas-flujo-2009.pdf

Andrs A. Aristizbal P. aaaristizabal@icesi.edu.co Departamento de

Matemticas y Estadstica. Matemtica discreta. Universidad Icesi. Reglas
de inferencia, recuperado de :
ftp://ftp.icesi.edu.co/aaaristizabal/MD/MDdiapositivas1.pdf