Lógica matemática fase 2

Entregado a:

Stevenson Lions

Entregado por:

Julián David Ramos Diaz

Código: 1081918195

Luis Jesús Chacón Osorio

Grupo: 2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LICENCIATURA EN MATEMATICAS
UDR- PLATO
 24- 09- 2019

Ejercicios trabajo individual

1. ¿Cuáles de las siguientes frases son proposiciones? ¿Cuál es el valor

de verdad de aquellas que son proposiciones?

o Cali es la capital de Colombia. (falso)

o Buenos Aires es la capital de Argentina. (verdadero)
o 2+3=5. (verdadero)
o ¿qué día es hoy? (no es preposición)

2. ¿Cuál es la negación de cada uno de los siguientes enunciados?

o Hoy es jueves. Hoy no es jueves

o No hay polución en Bogotá. Hay polución en Bogotá
o 2+1=3. 2+1≠3
o El verano de Villavicencio es cálido y soleado. El verano de
Villavicencio no es cálido 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 b) p ∧ q c) p ∧ q d) p ∨ q

Solución

a) No se han divisado tiburones cerca de la costa

b) No está permitido nadar en la costa de Cartagena y se han divisado
tiburones cerca de la costa
c) Esta permitido nadar en la costa de Cartagena y se han divisado
tiburones cerca de la costa
d) No esta permitido nadar cerca de 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 lógicos:

a) Estamos bajo cero y nieva.

P∧q
b) Estamos bajo cero, pero no nieva.
p∧q
c) No estamos bajo cero y no nieva.
p ∧ q
d) Bien estamos bajo cero o bien nieva (o ambas cosas).
pvq

5. Sean p y q los enunciados p: “Conduces a más de100 Km/h” q: “Te

multan por exceso de velocidad” , Escriba los siguientes enunciados
utilizando p, q y conectivos lógicos:

a. No conduces a más de 100 Km/h.

p
b. Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad.
P ∧ q
c. Te multarán por exceso de velocidad si conduces a más de 100 Km/h.
q↔p
d. Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad.
p ↔ q
e. Conducir a más de 100 Km/h es suficiente para que te multen por exceso de
velocidad.
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 están seguras”. Exprese los siguientes enunciados
utilizando p, q, r y conectivos lógicos:

a. Las bayas del sendero están seguras, pero no se han visto osos
pardos por la zona.
r∧p
b. No se han visto osos pardos por la zona y es seguro caminar por el
sendero, pero las bayas del sendero están seguras.
p∧q∧r

c. Si las bayas del sendero están seguras, es seguro caminar por el

sendero si, y sólo si, no se han visto osos pardos por la zona.
(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.

sí sopla siempre el viento del oeste entonces nieva
p→q
b. El manzano florecerá si el tiempo se mantiene cálido durante una
semana.
Si se mantiene cálido durante una semana el manzano florecerá
p→q

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

Barcelona.
Si el real Madrid gana el campeonato entonces vencieron al
Barcelona
p→q

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

 sólo si q”.
a) Si hace calor afuera, te compras un helado, y si te compras un
helado, hace calor afuera.
Te compras un helado si y si solo si hace calor afuera
b) Para ganar la rifa es necesario y suficiente tener el número ganador.
Ganas la rifa si y si solo si tienes el numero ganador

c) Ascenderás sólo si tienes contactos, y tienes contacto sólo si

asciendes.
Ascenderás si y si solo si tienes contactos

9. Enuncie la recíproca, la contrarrecíproca 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 si un entero es par

Contra reciproca: 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.

Reciproca: cuando hay un control entonces voy a clases.

Contra reciproca: cuando no hay un control entonces no voy a clases.
Inversa: no hay clases entonces no hay control.

c. Cuando me acuesto tarde, es necesario que duerma hasta el mediodía.

Reciproca: es necesario que duerma hasta el mediodía entonces me

acuesto tarde.
Contra reciproca: no es necesario que duerma hasta el mediodía
entonces no me acuesto tarde.
Inversa: cuando no me acuesto tarde entonces no es necesario
dormir hasta mediodía.

d. Un entero positivo es primo sólo si no tiene otros divisores distintos de 1

y él mismo.

Reciproca: si no tiene otros divisores distintos de uno y el mismo

entonces un entero positivo es primo.
Contra reciproca: si tiene otros divisores distintos de 1 entonces un
 entero positivo no es primo.
Inversa: un entero positivo no es primo entonces si tiene distintos
divisores distintos de 1 y el mismo.

10. Construir la tabla de verdad para:

a) p  q   q   p 
p q p q P→q p → q 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 
r s q r q r∧s r ∧ s q (r∧ s) →q (s∧q) → r [r ∧ s]→q↔[(s∧q) →r]
V V V F F V F V V V
V V F F V V V F F V
V F V F F F F V V V
V F F F V F F V V V
F V V V F F F V V V
F V F V V F V V V V
F F V V F F F V V V
F F F V V F F V V V

c) p → (q → r)

p Q r p r Q→r p → (q → r)
V V V F F V V
V V F F V F V
V F V F F V V
V F F F V V V
F V V V F V V
F V F V V F F
F F V V F V V
F F F V V V V

11. Utilizando el modus ponendus ponens, llegue a la conclusión C

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

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

c. P1 :  p  q  s
P2 :  p
C:qvs
12. Utilizando el modus tollendo tollens, llegue a la conclusión 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 v q)
13. Traduzca de dos formas cada una de las siguientes frases a
expresiones lógicas utilizando funciones proposicionales,
cuantificadores y conectivos lógicos. 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 inglés.

X (Ax  IX)
Todos en tu clase son amigables.
x(AxFX)
b) Hay una persona en tu clase que no nació en Bogotá.
X(AX ¬BX)
c) Un estudiante de tu clase ha visto una película.
X(AX IX)

14. Traduzca cada una de las siguientes frases a expresiones lógicas

utilizando funciones proposicionales, cuantificadores y conectivos
lógicos. El dominio es el conjunto de todas las personas.

a) Nadie es perfecto.
x (Ex  Px)
b) No todo el mundo es perfecto.
x (Ax  Px)
c) Todos tus amigos son perfectos.
x (Ax  Px)
d) Cada uno de tus amigos es perfecto.
x (Ax  Px)

15. Traduzca cada una de las siguientes frases a expresiones lógicas 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.

x (S(x) C(x))

b) Hay un estudiante de tu escuela que no habla ruso.

x (S(x) R(x))

c) Un estudiante de tu escuela sabe Java, Prolog y C++.

x (S(x) (J(x) P(x) C(x))
 - Trabajo colaborativo.

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

2. Verifique, con tablas de verdad, que los siguientes condicionales son tautologías
(p ∧ q) → (p → q)

p q p∧q p→q (p ∧ q) → (p → q)

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

Respuesta: si es tautología

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

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ ( p ∧ r)

p q r (p v q) p ∧q p ∧r p ∧ (p v r) (p ∧ q) v (p ∧ r )
V V V V V V V V
V V F V V F V V
V F V V F V V V
V F F V F F V F
F V V V F F F F
F V F F F F F F
F F V V F F F F
F F F F F F F F

Respuesta: No se cumple la ley distributiva en este ejercicio, por lo

tanto: p ∧ (q ∨ r) ≠ (p ∧ q) ∨ (p ∧ r)

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

  Alicia estudia matemáticas. Por tanto, Alicia estudia o bien
matemáticas o bien ingeniería.

Se utiliza la regla de adición

 Henry estudia matemáticas e ingeniería. Por tanto, Henry estudia

matemáticas.

simplificación

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

Ponendo ponens

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

cerrada hoy. Por tanto, no nieva hoy.

Tollendo 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é.

Regla de la transitividad de la implicación

5. Demuestre que la conclusión es consecuencia lógica de las premisas

dadas.
Si el reloj está adelantado, entonces Juan llegó antes de la diez y vio partir
el coche de Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche
de Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del
crimen. El reloj está adelantado. Por lo tanto, Andrés estaba en el edificio en el
momento del c01rimen.

p: = El reloj está adelantado

q: = Juan llegó antes de las diez
r: = Juan vio partir el coche de Andrés
s: = Andrés dice la verdad
t: = Andrés estaba en el edificio en el momento del crimen
 Bibliografía

- Domingo A. (2009). Lógica matemática. Junio 14 de 2014.

- Lewin, R. (2010). Teoría de conjuntos.

- Ruiz, P. (2014). Pensamiento lógico matemático