Está en la página 1de 17

TRABAJO COLABORATIVO MOMENTO I

LOGICA MATEMATICA

ELABORADO POR:
MARLYZ ISABEL ACOSTA
FABIN ANDRS ARRIETA RODRGUEZ
YOJAIRA PAOLA BADEL
ERMES BERMUDEZ
LIZETH VIVIANA QUINTERO

GRUPO:
551105_6
TUTOR
PEDRO J. RUIZ P.

UNAD UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
LICENCIATURA EN MATEMTICAS

3 DE ABRIL DE 2016
1

INTRODUCCIN
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms
simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad. La lgica proposicional trata con sistemas lgicos que carecen de
cuantificadores, o variables interpretables como entidades. En lgica proposicional si bien no
hay signos para variables de tipo entidad, s existen signos para variables proposicionales (es
decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido),
de ah el nombre proposicional.
En la elaboracin de este trabajo se logr el conocimiento y se identific el propsito y
temtica la unidad de estudio, Evidenciando el contenido del mdulo, el cual est orientando
a estudiar los conceptos y la aplicacin de la lgica proposicional (proposiciones lgicas,
enunciados y conectivos, reglas de inferencia, tablas de verdad y tautologas), reglas de
inferencia y sus demostraciones (modus Ponendo Ponens, modus Tollendo Tollens, regla de
doble negacin, leyes de Morgan, entre otras). Teniendo en cuenta el objetivo de este curso es
que se pueda identificar las diferentes herramientas que se usan en los mtodos con el fin de
mejorar el conocimiento y desempeo en nuestra formacin.

EJERCICIOS TRABAJO INDIVIDUAL


1. Cules de las siguientes frases son proposiciones? Cul es el valor de verdad de aquellas
que son proposiciones?
Cali es la capital de Colombia
(Proposicin Falsa)
Buenos Aires es la capital de Argentina (Proposicin Verdadera)
2+3=5
(Proposicin Verdadera)
Qu da es hoy?
(No es Proposicin)
2. Cul es la negacin a cada uno de los siguientes enunciados?
Hoy es jueves
(Hoy no es Jueves)
No hay polucin en Bogot
(Hay Polucin en Bogot)
2+1=3
(2 + 1 3)
El verano de Villavicencio es
(El verano en Villavicencio Clido y soleado
no es clido ni soleado)
El verano de Villavicencio es
(El verano en Villavicencio Clido o soleado
ni es clido ni es soleado)
3. Sean p y q enunciados
P: Est permitido nada 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

b) p (p V q)

c) p q

d) p V q

R/
a) q:
No se han divisado tiburones cerca de la costa
b) p (p V q):
No est permitido nadar en la costa de Cartagena y est
permitido nadar en la costa de Cartagena p se han divisado tiburones en la costa
c) p q:
Est permitido nadar en la costa de Cartagena y se han divisado
d) p V q

tiburones cerca de la costa


No est permitido nada 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
b) Estamos bajo cero, pero no nieva
c) No estamos bajo cero y no nieva

R/
R/
R/

(p q)
(p q)
(p q)
3

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


e) Si estamos bajo cero, entonces tambin nieva

R/

(p V q) V (p q)
(p q)

5. Sean p y q los enunciados p: Conduces a ms de 100 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
R/ (p)
b) Conduces a ms de 100 Km/h, pero no te multan por exceso de velocidad (p q)
c) Te multan por exceso de velocidad si conduces a ms de 100 Km/h
R/
(p
q)

d) Si no conduces a ms de 100 Km/h no te multaran por exceso de velocidad


R/
(p q)
e) Conducir a ms de 100 Km/h es suficiente para que te multen por exceso de velocidad
R/

(p q)

6. Sean p, q y r los enunciados:


p: Se han visto osos pardos en la zona q: Es seguro caminar por el sendero r: Las bayas
del sendero estn seguras. Exprese los siguientes enunciados utilizando p, q y r y conectivos
lgicos.
a) Las bayas del sendero estn seguras, pero no se han visto osos pardos por la zona
R/ (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
R/
(p q 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.

R/

(p

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
R/ Si sopla el viento del noreste entonces nieva
b) El manzano florecer si el tiempo se mantiene clido durndote una semana
R/ Si se mantiene clido durante una semana entonces el manzano florecer
c) Que el Real Madrid gane el campeonato implica que venci al Barcelona
R/ Si el Real Madrid gana el campeonato entonces vencieron al Barcelona

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


a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor afuera
R/ Hace calor afuera si, y solo si te compras un helado
b) Para ganar la rifa es necesario y suficiente tener el numero ganador
R/ Ganas la rifa si, y solo si tienes el numero ganador
c) Ascenders solo si tienes contactos. Y tienes contactos solo si asciendes
R/ Ascenders si, y solo si tienes contactos
9. Enuncie la recproca, la contrarrecproca y la inversa de cada uno de los siguientes
condicionales
a) Si un entero es par, entonces es divisible por 2
R/ Reciproca: Entonces es divisible por 2, si un entero es par
Contrarrecproca: Entonces no es divisible por 2, 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
R/ Reciproca: Siempre que vaya a haber control voy a clases
Contrarrecproca: Siempre que no vaya a haber control no voy a clases
Inversa: No voy a clases siempre que no vaya a haber control
c) Cuando me acuesto tarde, es necesario que duerma hasta el medioda
R/ Reciproca: Es necesario que duerma hasta el medioda, cuando me acuesto tarde
Contrarrecproca: No es necesario que duerma hasta el medioda, cuando no me
acuesto tarde
Inversa: Cuando no me acuesto tarde, no es necesario que duerma hasta el medioda
d) Un entero positivo es primo solo si no tiene otros divisores distintos de 1 y el mismo
R/ Reciproca: Solo si no tiene otros divisores distintos de 1 y el mismo, un entero es
positivo es primo
Contrarrecproca: Solo si tiene otros divisores distintos de 1 y el mismo, un entero
es positivo no es primo
Inversa: Un entero positivo no es primo solo si tiene otros divisores distintos de 1 y
el mismo
10. Construir la tabla de la verdad para:

a) p q (p q)

b) [r s]

c) p

(q

[(s q)

r]

r)

(p q)

p q

p q

(p

q)
V

[r s]

[(s q)

rs

s q

r]

[r s] q

(s q) r

[r s] q

[(s q)

r]

(q
P

r)
r

(q

r)

V
6

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
X

b) P1: Si
P2:
C:

es un numero par, entonces

es par

es un nmero par
es par

c) P1: p q V s
P2: p
C: q V 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 mis negocios
C: No estoy preparado profesionalmente
b) P1: S t
P2: ( t)
C: S
c) P1: p V q
r
P2: ( r)
C: (p V q)
13. Traduzca en dos formas cada una de las siguientes frases a expresiones lgicas utilizando
funciones proposicionales, cuantificadores y conectivos lgicos. En primer lugar, el
dominio consistir en los estudiantes de tu clase, y en segundo lugar, ser el conjunto de
todas las personas.

a)
a)
b)
c)
d)

Alguien de tu clase habla ingls


R/
x (Ax Ix)
Todos en tu clase son amigables
R/
x (Ax Fx)
Hay una persona en tu clase que no naci en Bogot R/ x (Ax x)
Un estudiante de tu clase ha visto una pelcula R/
x (Ax Ix)
Ningn estudiante de tu clase ha cursado una asignatura de lgica
R/ definimos Alguien = A,

14. Traduzca cada una de las siguientes frases a expresiones lgicas utilizando funciones
proposicionales, cuantificadores y conectivos lgicos. El dominio es el conjunto de todas
las personas.
b)
c)
d)
e)

Nadie es perfecto.
No todo el mundo es perfecto.
Todos tus amigos son perfectos.
Cada uno de tus amigos es perfecto

R/
R/
R/
R/

x (Ex Px)
x (Ax Px)
x (Ax Px)
x (Ax Px)

15. Traduzca cada una de las siguientes frases a expresiones lgicas de tres formas diferentes,
variando el dominio y utilizando funciones proposicionales con una y con dos variables.
a) Un estudiante de tu universidad ha vivido en Cali.
Solucin:
Introduciendo la variable x, de tal forma que nuestra frase se convierte en:
Un estudiante x de tu universidad que tiene como atributo que x ha vivido en
Cali
Introducimos el predicado C(x), que es el enunciado << x ha vivido en Cali>>. Si
el dominio para x consiste en el estudiante de tu universidad, se puede traducir la
primera frase como x C(x).
No obstante, si estamos interesados en otras personas adems de las de la clase,
tomamos la frase de forma ligeramente diferente y la podramos expresar como:
Hay una persona x que tiene como atributos que x es un estudiante de la
universidad y que x ha vivido en Cali
En este caso, el dominio para la variable x es todas las personas. Introducimos el
predicado S(x), << x es un estudiante de tu universidad>>. Nuestra solucin se

convierte en x (S(x) C(x)), ya que la frase hace referencia a una persona x


que es estudiante de tu universidad y que ha vivido en Cali.
b) Hay un estudiante de tu escuela que no habla ruso.
Solucin:
Introduciendo la variable x, de tal forma que nuestra frase se convierte en:
Un estudiante x de tu escuela que tiene como atributo que x no habla ruso
Introducimos el predicado R(x), que es el enunciado << x habla ruso >>. Si el
dominio para x consiste en el estudiante de tu escuela, se puede traducir la primera
frase como x R(x).
No obstante, si estamos interesados en otras personas adems de las de la escuela,
tomamos la frase de forma ligeramente diferente y la podramos expresar como:
Hay una persona x que tiene como atributos que x es un estudiante de tu escuela y
que x no habla ruso
En este caso, el dominio para la variable x es todas las personas. Introducimos el
predicado S(x), << x es un estudiante de tu escuela>>. Nuestra solucin se
convierte en x (S(x) R(x)), ya que la frase hace referencia a una persona x
que es estudiante de tu escuela y que no habla ruso.
c) Un estudiante de tu escuela sabe Java, Prolog y C++.
Solucin:
Introduciendo la variable x, de tal forma que nuestra frase se convierte en:
Un estudiante x de tu escuela que tiene como atributo que x sabe java, x sabe
prlog y x sabe C++
Introducimos el predicado J(x), que es el enunciado << x sabe java >>, P(x), que es
el enunciado << x sabe prolog >> y C(x), que es el enunciado << x sabe C++ >>.
Si el dominio para x consiste en el estudiante de tu escuela, se puede traducir la
primera frase como x (J(x) P(x) C(x)).
No obstante, si estamos interesados en otras personas adems de las de la escuela,
tomamos la frase de forma ligeramente diferente y la podramos expresar como:

Hay una persona x que tiene como atributos que x es un estudiante de tu escuela y
que x sabe java, x sabe prlog y x sabe C++

En este caso, el dominio para la variable x es todas las personas. Introducimos el


predicado S(x), << x es un estudiante de tu escuela>>. Nuestra solucin se
convierte en x (S(x) (J(x) P(x) C(x)), ya que la frase hace referencia a
una persona x que es estudiante de tu escuela y que no habla ruso.

TRABAJO COLABORATIVO
1. Responder los tres problemas iniciales dados en las preguntas generadoras
Leer las siguientes situaciones particulares y establecer posibles soluciones. En el
transcurso de la actividad se darn las herramientas necesarias para contestar las
preguntas all planteadas.
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?
R/ bsicamente el Buque tiene densidad menor que el agua, porque est lleno no
solamente de hierro, sino de aire y por ende este tiene la posibilidad de flotar en ella,
por esta razn se deduce que siempre el agua estar al nivel del segundo peldao de la
10

escalera, ya que si aumenta la cantidad de agua, o sube la marea, el barco subir con la
superficie del agua, lo que en conclusin podemos afirmar que despus de tres horas,
el nivel del escaln ser el mismo.

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
R/ El orden lgico de estos prrafos seran los siguientes:
d) El laboratorio de Thomas Edison fue prcticamente destruido por un incendio en
diciembre de 1914
f) Aunque el laboratorio era de cemento
e) Que se pensaba no iba arder
j) Por lo tanto gran parte del trabajo de Edison se destruy esa noche
g) Sin embargo, cuando su hijo Charles encontr a Edison
c) En aquel momento tena 67 aos

11

h) Con su cabello blanco ondeando en el viento


a) Cuando Edison lo vio lo nico que dijo fue:
i) este incendio es de gran valor, todos nuestros errores se estn quemando con el
b) Gracias a Dios, podemos empezar de nuevo
k) Tres semanas despus del incendio Edison fabric su primer fongrafo
El laboratorio de Thomas Edison fue prcticamente destruido por un incendio en diciembre
de 1914. Aunque el laboratorio era de cemento, que se pensaba no iba 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 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 su 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?
R/ En mi pensamiento el reo quedara libre, ya que se basa en proponer una verdad
sobre algo falso por lo tanto su proposicin lo salvara ya que los jueces estaran
truncados en el dilema de si lo decapitan entonces la proposicin era falsa y tena que
morir ahorcado y si lo ahorcaban entonces la proposicin era cierta y tena que morir
decapitado.

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

12

( p q) ( p q)
p

pq

( p q ) (p q)

Teniendo en cuenta que: Una tautologa es una frmula cuyo valor de verdad es el mismo
para todas las interpretaciones posibles. Por lo tanto, ( p q ) y

( p q)

no son

tautologas. En cambio, ( p q ) (p q) si es una Tautologa.

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


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

(pV r)

( p q)

( p r)

p ( pV r)

( p q) V ( p r )

13

Podemos observar que no se cumple la ley distributiva en este ejercicio, ya que:


p ( p V r ) ( p q )V ( p r )
4. Qu reglas de inferencia se utilizan en las siguientes deducciones?

Alicia estudia matemticas. Por tanto, Alicia estudia o bien matemticas o bien ingeniera.
R/ Regla de la adicin, ya que tenemos una proposicin verdadera entonces podemos
concluir que las otras dos proposiciones son verdaderas
p ( p V q )

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


R/ Regla de la simplificacin, ya que tenemos una conjuncin que es verdadera entonces
cualquiera de las proposiciones que la componen es verdadera podemos concluir que la
primera proposicin es verdadera o la segunda es verdadera
( p q ) p ; ( p q ) q

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


R/ Regla del Ponendo Ponens, ya que tenemos una implicacin y sabemos que el primer
trmino es verdadero, entonces podemos concluir el segundo trmino.
( ( p q ) p ) q

Si nieva hoy, se cerrara la universidad. La universidad no est cerrada hoy. Por tanto, no
nieva hoy.
R/ Regla del Tollendo Tollens, ya que sabemos que tenemos una implicacin y sabemos
que el primer trmino es verdadero y su segundo trmino o conclusin es falso, entonces
podemos concluir la negacin del primero.
( ( p q ) q ) p

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.
R/ Regla de la Transitividad de la implicacin, ya que si tenemos dos implicaciones
unidas por una conjuncin y donde el segundo trmino de la primera implicacin y el
primer trmino de la segunda implicacin son los mismos, entonces podemos concluir
con la implicacin del primer trmino de la primera implicacin con el ltimo trmino de
la segunda implicacin, es decir como si hiciramos un puente.

14

( ( p q ) ( q r ) ) ( q r )
5. Demuestre que la conclusin es consecuencia lgica de las premisas dadas.
Si el reloj esta adelantado, entonces Juan llego antes de la 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.
R/ Primero tenemos que asignar un valor a cada proposicin:
p = Si el reloj esta adelantado
q = Juan lleg antes de las diez
r = Vio partir el coche Andrs
s = Andrs dice la verdad
t = Estaba en el edificio en el momento del crimen
Demostrando que la conclusin es consecuencia lgica de las premisas dadas.
p ( q r )
1.
2.

s r

3.

sVt

4.

Aplicando el mtodo Ponendo Ponens con 1 y 4: si tenemos una implicacin y sabemos


que el primer trmino es verdadero, entonces podemos concluir el segundo trmino.
( p ( q r ) ) ( q r )

5.

(q r ) :

Aplicando el mtodo de la simplificacin, ya que tenemos una conjuncin

que es verdadera entonces cualquiera de las proposiciones que la componen es verdadera


podemos concluir que la primera proposicin es verdadera o la segunda es verdadera

( q r ) r

6.

r :

Aplicaremos el mtodo Tollendo Tollens con 2 y 6: si sabemos que tenemos una

implicacin y sabemos que el primer trmino es verdadero y su segundo trmino o


conclusin es falso, entonces podemos concluir la negacin del primero.
(s r) s

15

7.

s :

Aplicando el mtodo del silogismo disyuntivo con 3 y 7: si una disyuncin

exclusiva, de manera que los dos miembros no pueden ser simultneamente verdaderos,
ni simultneamente falsos.
sV t
s
t
8.

t :

Como podemos ver la conclusin si es consecuencia lgica de las premisas

previamente dadas

CONCLUSION

Las proposiciones lgicas, evidentemente son fundamentales dentro del estudio de las
matemticas, porque permiten la generacin de afirmaciones a partir de verdades o falsedades
existentes, que permiten cuestionar la realidad, lo que un matemtico debe entender para su
ejercicio, ya que las matemticas son ciencias exactas que describen simblica, algortmica y
estructural, una situacin, y debe ser sustentada lgicamente.
Por ello con estos trabajos: individual y colaborativo, se logr comprender, asimilar y
cuestionar las situaciones de forma lgica, a partir de premisas, adems se aprovecharon los
conceptos estudiados y relacionados con la lgica proposicional siendo esta una parte
fundamental en la inteligencia artificial ya que precisa de lenguaje formal para representar los
hechos que se perciben en el mundo real, as como tambin las reglas de inferencia y
demostraciones lgicas.
Utilizar proposiciones es algo sencillo y practico en el momento de resolver problemas,
considerando que lo podemos hacer disolviendo dicho problema en proposiciones u oraciones
sencillas que permitan analizar los hechos, as tambin como crear nuevas proposiciones ya
sean sencillas o compuestas y de esta manera tomar las decisiones.

16

Es adems la relacin entre teora y prctica, la que permite generar un conocimiento


significativo, por ello, se hace necesario poner en prctica en la vida cotidiana, todos los
conceptos aqu estudiados, para un verdadero aprendizaje, y lograr crecer como profesionales.

BIBLIOGRAFIA

http://datateca.unad.edu.co/contenidos/551105/logica_2014-_2/Entorno%20de%20
conocimiento/Libro_de_logica_cap._1.pdf
Resumen de las leyes de inferencia. Recuperado Junio 13 de 2014
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_proposicional.pdf
Garca I ( ). Introduccin a la lgica y mtodos de demostracin cap. 2.
Domingo A. ( ). Lgica matemtica. Recuperado Junio 14 de
2014http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf

17