LOGICA MATEMATICA

Presentado por.

Ingrid Daniela Santander Meza

Davinson Yuriel Garzón

José María Labio

Margie Alexandra sierra

Presentando a.

Antonio Muñoz

ESCUELA DE CIENCIAS DE LA EDUCACION

LICENCIATURA EN MATEMATICAS

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA UNAD

10/10/2020
 TRABAJO COLABORATIVO

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

aquellas que son proposiciones?
o Cúcuta es la capital de Colombia. Proposición falsa
o Buenos Aires es la capital de Argentina. Proposición verdadera
o 12+13=25. Proposición verdadera
o ¿hoy llueve? No es proposició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 y no es 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 no está permitido nadar en la costa de Cartagena y 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 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) p ∨ q

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.
Rta: -p

b) Conduces a más de 100 Km/h, pero no te multan por exceso de velocidad.

Rta: p -q

c) Te multarán por exceso de velocidad si conduces a más de 100 Km/h.

Rta: q ↔ p

d) Si no conduces a más de 100 Km/h no te multarán por exceso de velocidad.

Rta: -p -q

e) Conducir a más de 100 Km/h es suficiente para que te multen por exceso de velocidad.
Rta: p → q

[Link] 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.
Rta: 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.
Rta: -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.
Rta: (r → q) ↔ -p

[Link] cada uno de los siguientes enunciados en la forma “si p, entonces q”.

a) Nieva siempre que el viento sopla del noreste.

Rta: p → q: El viento sopla del norte entonces nieva.

b) El manzano florecerá si el tiempo se mantiene cálido durante una semana.

Rta: p → q: Si se mantiene cálido el tiempo durante una semana, entonces el manzano
florecerá.

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

Rta: p → q: 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 sólo si q”.
a) Si hace calor afuera, te compras un helado, y si te compras un helado, hace calor afuera.
Rta: p ↔ q: Te compras un helado si y solo si hace calor afuera.

b) Para ganar la rifa es necesario y suficiente tener el número ganador.

Rta: p ↔ q: Te ganas la rifa si y solo si tienes el número ganador.

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

Rta: p ↔ q: Ascenderás si y solo si tienes contactos.

9) Enuncie la recíproca, la contra recíproca y la inversa de cada uno de los siguientes

condicionales.

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

Rta: Recíproca: q → p: Si es divisible por dos, entonces un entero es par.
Contra recíproca: - q → - p: Si no es divisible por dos, entonces no es un entero par.
Inversa: - p → - q: Si un entero no es par, entonces no es divisible por dos.

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

Rta: Recíproca: q → p: Si va a haber un control, entonces voy a clases.
Contra recíproca: - q → - p: Siempre que no va a haber un control, entonces no voy a
clases.
Inversa: - p → -q: Si no voy a clase, entonces no va a haber control.

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

Rta: Recíproca: q → p: Si duermo hasta medio día, entonces me acuesto tarde.
Contra recíproca: - q → - p: Si no duermo hasta mediodía, entonces no me acuesto
tarde.
Inversa: - p → - q: Si no me acuesto tarde, entonces no duermo hasta medio día.

d) Un entero positivo es primo sólo si no tiene otros divisores distintos de 1 y él mismo.

Rta: Recíproca: q → p: Es primo solo si no tiene otros divisores distintos de 1 y él mismo,
entonces es un entero positivo.
Contra recíproca: - q → -p: No es primo si tiene divisores como 1 y él mismo,
entonces no es un entero positivo.
Inversa: - p → - q: no es un entero positivo sino tiene divisores como 1 y él mismo.
 10. Construir la tabla de verdad para:

A. p  q    q   p 

P q (p→q) (-q) (-p) ((-q)→(~p)) ((p→q)↔(((-q)→(-p))))

F F V V V V V

F V V F V V V

V F F V F F V

V V V F F V V

B.  r  s   q    s   q    r 

(-
r s q (r∧s) ((r∧s)→q)) (s∧(~q)) (~r) (((s∧(~q))→(~r)) (((r∧s)→q)↔(((s∧(~q))→(~r))
q)

F F F F V V F V V V

F F V F V F F V V V

F V F F V V V V V V

F V V F V F F V V V

V F F F V V F F V V

V F V F V F F F V V

V V F V F V V F F V

V V V V V F F F V V
 C. p → (q → r)

p q r (~p) (q→r) ((~p)→((q→r)))

F F F V V V

F F V V V V

F V F V F F

F V V V V V

V F F F V V

V F V F V V

V V F F F V

V V V F V V

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

P1: Si hoy es domingo, entonces hay futbol

P2: Hoy es domingo
Rta: C: Hay futbol

P1: Si x es un número para, entonces x 2 es par

P2: x es un número par
Rta: C: x² es par

P1 :  p  q  s
P2 :  p
Rta: C : q v s
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
Rta: C : No estoy preparado profesionalmente.

B. P1 : S  t
P2 :  t 
Rta: C : - S

P:
C. 1 p  q  r
P2 :  r 
Rta: 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.

Rta: y (Ay  I y)

b) Todos en tu clase son amigables.

Rta: y (Ay  F y)

c) Hay una persona en tu clase que no nació en Bogotá.

Rta: y (Ay   y)

d) Un estudiante de tu clase ha visto una película.

Rta: y (Ay  I y)

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.
Rta: y (E y  P y)

b) No todo el mundo es perfecto.

Rta: y (Ay  P y)

c) Todos tus amigos son perfectos.

Rta: y (Ay  P y)
d) Cada uno de tus amigos es perfecto.
Rta: y (Ay  P y)

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

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

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

p q r ( pVr ) ( pq ) ( pr ) p ( pVr ) ( 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

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

A. Alicia estudia matemáticas. Por tanto, Alicia estudia o bien matemáticas o bien
ingeniería.
Regla de la adición, tenemos una proposición verdadera entonces podemos concluir que
las otras dos proposiciones son verdaderas

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

Regla de la simplificación, tenemos una conjunción que es verdadera entonces cualquiera
de las proposiciones que la componen es verdadera podemos concluir que la primera
proposición es verdadera o la segunda es verdadera

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

Regla del Ponendo Ponens: Tenemos una implicación y sabemos que el primer término es
verdadero, entonces podemos concluir el segundo término.

D. Si nieva hoy, se cerrará la universidad. La universidad no está cerrada hoy. Por tanto, no
nieva hoy.

Regla del Toledo Tollens: Sabemos que tenemos una implicación y que el primer término
es verdadero y su segundo término o conclusión es falso, entonces concluimos la negación
del primero.

E. 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: Si tenemos dos implicaciones unidas por
una conjunción y donde el segundo término de la primera implicación y el primer término
de la segunda implicación son los mismos, entonces podemos concluir con la implicación
del primer término de la primera implicación con el último término de la segunda
implicación, es decir: