Está en la página 1de 14

Lgica Matemtica

Presentado Por:
Armando Pineda Gonzalez Cd. 96.353.698
Grupo: 551105_2

Presentado A:
Juan Carlos Benavides

Universidad Nacional Abierta y a Distancia (Unad)


Cead Acacias
Octubre/ 2017

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


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 de cada uno de los siguientes enunciados?


Hoy es jueves. Rta. Hoy no es jueves
No hay polucin en Bogot. Rta. Es una negacin
2+1=3 Rta. 2+1 3
El verano de Villavicencio es clido y soleado. Rta, 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)
Rta. No se han divisado tiburones cerca de la costa
b) ( )
Rta. Est permitido nadar en la costa de Cartagena o se han divisado tiburones cerca de
la costa.
c)
Rta. Est permitido nadar en la costa de Cartagena y se han divisado tiburones cerca de
la costa
d) Rta. 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.



b) Estamos bajo cero, pero no nieva.

c) No estamos bajo cero y no nieva.

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


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

4. 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.

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

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

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

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

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.

b) No se han visto osos pardos por la zona y es seguro caminar por el sendero, pero las
bayas del sendero estn seguras.

d. Si las bayas del sendero estn seguras, es seguro caminar por el sendero si, y slo si, no
se han visto osos pardos por la zona.

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 el viento sopla siempre del noreste entonces nieva
b. El manzano florecer si el tiempo se mantiene clido durante una semana.
Rta. Si el tiempo se mantiene 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 gana el campeonato entonces venci al Barcelona

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

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor afuera.
Rta. Te compras un helado si y solo si hace calor afuera.

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


Rta. Gana la rifa si y solo si se tiene el nmero ganador.

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


Rta. Ascenders si y slo 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.

Reciproca. Es divisible por dos, entonces si es un nmero par


Contrareciproca. No es divisible por 2, entonces no es nmero entero par
Inversa. Si no es un nmero entero par, entonces no es divisible por 2
b. Voy a clases siempre que vaya a haber un control.

Reciproca. cuando realicen un control, entonces voy a clases


Contrareciproca. No va haber control entonces, no voy a clases
Inversa. No voy a clases entonces no va haber control,
c. Cuando me acuesto tarde, es necesario que duerma hasta el medioda.

Reciproca. Es necesario que duerma hasta medioda entonces cuando me acuesto tarde.
Contrareciproca. No duermo hasta medioda.
Inversa. No es necesario que duerma hasta medioda entonces no me acuesto tarde.
d. Un entero positivo es primo slo si no tiene otros divisores distintos de 1 y l mismo.
Reciproca. Solo si no tiene otros divisores distintos de 1 y el mismo, un entero es
positivo es primo
Contrareciproca. 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 verdad para:


a) 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

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


b) r s q s q r
[ ] ( ) [( ) ] [ ] [( ) ]
V V V F F V V F V V
V V F V F V F V F V
V F V F F F V F V V
V F F V F F V F V V
F V V F V F V F V V
F V F V V F V V V V
F F V F V F V F V V
F F F V V F V F V V

c) 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.


[( ) ]
, si p entonces q
, y p (y se da p, y ocurre a p)
, en conclusin q

a. 1 : Si hoy es domingo, entonces hay Futbol


2 : Hoy es domingo
C: Hay futbol

b. 1 : Si es un nmero par, entonces 2 es par


2 : es un nmero par
C: 2 es par

c. 1 :
2 :
C:

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


12. Utilizando el Modus Tollendo Tollens, llegue a la conclusin C.
[( ) ]
, si p entonces q
, ocurre
, de donde

. 1 : Si estoy preparado profesionalmente, entonces triunfar en mis negocios.


2 : Fracas en los negocios
C: No estoy preparado para los negocios
. 1 :
2 : ()
C:
. 1 :
2 : ()
C:

13. Traduzca de 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) Alguien de tu clase habla ingls.

: ()

b) Todos en tu clase son amigables.


: ()
c) Hay una persona en tu clase que no naci en Bogot.
: ()
d) Un estudiante de tu clase ha visto una pelcula.
: ()

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.
a) Nadie es perfecto.
:
b) No todo el mundo es perfecto.
:
c) Todos tus amigos son perfectos.
:
d) Cada uno de tus amigos es perfecto.

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


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.


: todos los estudiantes viven en Medelln
: si un estudiante ha vivido en Cali entonces no todos los estudiantes han vivido en
Medelln

: Un estudiante de tu universidad ha vivido en Cali.


: todos los estudiantes de la universidad viven en Cali
: un estudiante de la universidad vive en Cali o todos viven en Cali

: un estudiante de tu universidad ha vivido en Cali.


: todos los estudiantes viven en Medelln
: si un estudiante de la universidad ha vivido en Cali entonces no todos los
estudiantes han vivido en Bucaramanga

b)
: Hay un estudiante de tu escuela que no habla ruso.
: todos los estudiantes hablan ruso
: si hay un estudiante que no habla ruso entonces no todos los estudiantes hablan
ruso.

: Hay un estudiante de tu escuela que no habla ruso.


: hay un estudiante que no habla ingles
: hay un estudiante de la escuela que no habla ruso y hay un estudiante que no habla
ingles

: Hay un estudiante de tu escuela que no habla ruso.


: todos los estudiantes no hablan ruso
: Hay un estudiante de tu escuela que no habla ruso si y solo si todos los estudiantes
no hablan ruso

c)
: Un estudiante de tu escuela sabe Java, Prolog y C++.
: todos los estudiantes de tu escuela saben Java, Prolog y C++.

: Un estudiante de tu escuela no sabe Java, Prolog y C++.si y solo si todos los


estudiantes de tu escuela no saben Java, Prolog y C++.

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


:Un estudiante de tu escuela sabe Java, Prolog y C++.
: Un estudiante de tu escuela sabe C++.
: Nadie de tu escuela sabe Java, Prolog y no todos los estudiantes de tu escuela
saben Java, Prolog y C++.

Trabajo Colaborativo.

1. Responder los tres problemas iniciales dados en las preguntas generadoras


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
Al cabo de las tres horas el agua se encontrara sobre el segundo escaln de la escalera del
buque, ya que a medida que la marea empieza a subir tambin lo hace el buque ya que esta
flotando sobre el agua. Siendo as que acabo de las tres horas el agua se encuentra sobre el
mismo segundo escaln.
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 g. Sin embargo, cuando su hijo Charles
fue: encontr a Edison
b. Gracias a Dios, podemos empezar de h. Con su cabello blanco ondeando en el
nuevo viento
c. En aquel momento tena 67 aos i. este incendio es de gran valor, todos
d. El laboratorio de Thomas Edison fue nuestros errores se estn quemando
prcticamente destruido por un con el
incendio en diciembre de 1914 j. Por lo tanto gran parte del trabajo de
e. Que se pensaba no iba arder Edison se destruy esa noche
f. Aunque el laboratorio era de cemento k. Tres semanas despus del incendio
Edison fabric su primer fongrafo.
Respuesta
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

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


c. En aquel momento tena 67 aos
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.

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?

2. Verifique, con tablas de verdad, que los siguientes condicionales son tautologas
( ) ( )
( ) ( )
V V V V V
V F F F V
F V F V V
F F F V V

Queda demostrado que ( ) ( ) es una proposicin que sin importar el valor de sus
premisas p y q, es siempre verdadera. Siendo esta una Tautologa.

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


( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
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

Queda demostrado que ( ) ( ) ( ) cumple con la propiedad distributiva

4. Qu reglas de inferencia se utilizan en las siguientes deducciones?


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

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


Se utiliza la regla de Adicin (introduccin del disyuntor). ( ), en donde:


Desarrollo
Preposiciones
p: Alicia estudia matemticas
q: Alicia estudia ingeniera
Premisas
1.
2.
(Alicia estudia matemticas o bien Alicia estudia ingeniera)

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


Se utiliza la regla de la simplificacin (eliminacin del conyuntor) (p q) p, en donde
pq

Desarrollo
Preposiciones
p: Henry estudia matemticas e ingeniera.
q: Henry estudia matemticas.
Premisas
1. premisa
(Henry estudia matemticas e ingeniera.)

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


Se utiliza la regla de Modus Ponendo Ponens. [( ) ] , en donde:
, si p entonces q
, y p (y se da p, y ocurre a p)
, en conclusin q
Desarrollo
Preposiciones
p: llueve
q: la piscina est cerrada
Premisas
1.
2.

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


Si nieva hoy, se cerrar la universidad. La universidad no est cerrada hoy. Por tanto, no nieva
hoy.
Se utiliza la regla de Modus Tollendo Tollens [( ) ] , en donde:
, si p entonces q
, ocurre
, de donde
Desarrollo
Preposiciones
p: nieva hoy
q: la universidad est cerrada
Premisas
1. , (si nieva hoy, la universidad cierra)
2. , (la universidad no cierra)
(no nieva hoy)

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.
Se utiliza la regla de Silogismo Hipottico [( ) ( )] ( )
1.
2.

Desarrollo
Preposiciones
p: Si voy a nadar
q: estar al sol demasiado tiempo
r: me quemar
Premisas
1. , (Si voy a nadar, entonces estar al sol demasiado tiempo)
2. , (Si estoy al sol demasiado tiempo, me quemar)
, (Si voy a nadar me quemar)

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


Si el reloj est adelantado, entonces Juan lleg 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

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


estaba en el edificio en el momento del crimen. El reloj est adelantado. Por lo tanto, Andrs estaba
en el edificio en el momento del crimen.
Proposiciones.
p: el reloj esta adelantado
q: Juan llego antes de las diez.
r: Juan vio partir el coche de Andrs
s: Andrs dice la verdad
t: Andrs estaba en el edificio en el momento del crimen

Premisas
1. ( ) : Si el reloj esta adelantado entonces Juan llego antes de las diez y vio partir el
coche de Andrs.
2. : Si Andrs dice la verdad entonces Juan no vio partir el coche de Andrs.
3. : Andrs dice la verdad o estaba en el momento del crimen. (disyuncin)
4. : El reloj esta adelantado.
5. ( ) : Juan llego antes de las diez y vio partir el coche de Andrs.
6. : Juan vio partir el coche de Andrs
7. : Andrs no dice la verdad
8. Andrs estaba en el edificio en el momento del crimen
: : Andrs estaba en el edificio en el momento del crimen
Premisa 5. Aplicamos la regla de Modus Ponendo Ponens entre la premisa 1 y 4.
[( ) ]
1. ( )
4.
La primera premisa es una condicional, la segunda premisa es el antecedente de la afirmacin de
la primera premisa, por lo tanto puedo concluir el consecuente de la primera premisa es q.
( ( )) ( )

Premisa 6. Aplicamos la regla de sustitucin (eliminacin del conyuntor) en la premisa 5.


( )
Ya que cualquiera de las dos premisas son verdaderas, en el cual se puede tomar cualquiera de
ellas.
( )
( )
Premisa 7. Aplicamos la regla de Modo Tollendo Tollens en las premisas 2 y 6.
En donde la segunda premisa es un condicional y la segunda premisa es la negacin del
consecuente o sea , por lo tanto se puede concluir la negacin de s
2. : Si Andrs dice la verdad entonces Juan no vio partir el coche de Andrs.
6. : Juan vio partir el coche de Andrs

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


( )

Premisa 8. Aplicamos la regla del silogismo disyuntivo en las premisas 3 y 7


[( ) ] [( ) ]

Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente
la otra proposicin ser verdadera
En donde la tercera premisa es una disyuncin y la sptima premisa es la negacin
3. : Andrs dice la verdad o estaba en el momento del crimen. (Disyuncin).
7.
[( ) ]

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2


Referencias Bibliogrficas

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

Domingo A. (2014). Lgica matemtica. Recuperado Junio 14 de


2014http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf

Escuela de Ciencias de la Educacin Lgica Matemtica - 551105_2