Ciencias Básicas y Ambientales

Nombre
Algeni Buten Guzmán

ID
1069983

Tema
Elementos de lógica

Asignatura
Matemática Discreta
(CBM-305)

Profesor
Fernando Hirujo

Fecha
2 de junio de 2020
 PRÁCTICA 1: ELEMENTOS DE LÓGICA

1. Escriba una negación informal para cada uno de los siguientes enunciados:
(4,5 p.116)

a) Todos los perros son amigables

No todos los perros son amigables.

b) Todas las personas son felices

Algunas personas son infelices.

c) Algunas sospechas eran fundadas

Ningunas sospechas eran fundadas.

d) Algunas estimaciones son exactas

Ninguna estimación es exacta.

e) Cualquier argumento válido tiene una conclusión verdadera

No todo argumento válido tiene una conclusión verdadera.

f) Cada número real es positivo, negativo o cero

No Cada número real es positivo, negativo o cero.

g) Los conjuntos A y B tienen algún punto en común

Los conjuntos A y B no tienen ningún punto en común.

2. Reescriba los siguientes enunciados en forma de dos enunciados si-entonces

a) Los Cachorros van a ganar el campeonato solo si ganan el juego de mañana
Si los cachorros ganan el juego de mañana entonces ganaran el campeonato

b) Sam podrá participar en la carrera solo si prueba ser un navegante experto

Si Sam prueba ser un navegante experto entonces podrá participar de la
carrera.

c) Tomar el autobús a las 8 es una condición suficiente para que llegue a tiempo
a clase
Si tomo el autobús a las 8 entonces llegare a tiempo a clase.

d) Ser divisible entre 3 es una condición necesaria para que un número sea
divisible entre 9
 Si un numero es divisible entre 3 entonces puede ser divisible entre 9

e) Una condición suficiente para que el equipo gane el campeonato es que gane
el resto de los juegos
Si el equipo gana el resto de los juegos entonces ganara el campeonato.

3. Formalice las siguientes proposiciones:

 No es cierto que viese la película y leyese novela.
P: Ver película
Q: Ver novela
Entonces: ¬ (P ∧ Q)
 Vi la película, aunque no leí la novela.
P: Vi la película
Q: Leí la novela
Entonces: P ∧ ¬ Q

 Está lloviendo y nevando o bien está soplando el viento.

P: Está lloviendo
Q: Esta nevando
R: Esta soplando el viento
Entonces: (P ∧ Q) ∨ R

 Si no estuvieras loca no habrías venido aquí.

P: Si estuvieras loca
Q: Habrías venido aquí
Entonces: ¬P ⇒ ¬Q

 Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.

P: Los gatos de mi hermana sueltan pelo.

Q: me gustaría acariciarlos.
Entonces: ¬P ⇒ Q

 Estás seguro y lo que dices es cierto o mientes como un bellaco.

P: Estas seguro
Q: Lo que dices es cierto
 R: Mientes como un bellaco
Entonces: (P ∧ Q) ∨ R

 Solo y solo si viera un marciano creería en los extraterrestres.

P: Si viera un marciano
Q: Creería en los extraterrestres
Entonces: P ⇔ Q

 Haré el doctorado si y solo si termino la maestría.

P: Hare el doctorado
Q: Termino la maestría
Entonces: P ⇔ Q

 Federico se irá a Hawái si y solo si le toca la lotería y no gasta el dinero en

la ruleta.
P: Federico se ira a Hawái
Q: Le toca la lotería
R: Gasta el dinero en la ruleta
Entonces: P ⇔ (Q ∧ ¬R)
 Aumentará la inflación y disminuirá el paro, si se fabrica moneda o hay
guerra.
P: Aumentara la inflación
Q: Disminuirá el paro
R: Se fabrica moneda
H: Hay guerra
Entonces: (P ∧ Q) ⇔ (R ∨ H)

 Si hay verdadera democracia entonces no hay detenciones arbitrarias ni

violaciones de los derechos civiles.
P: Hay verdadera democracia
Q: Hay detenciones arbitrarias
R: Hay violaciones de los derechos civiles
Entonces: P ⇒ ¬ (Q ∧ R )

 Viene en tren o en coche. Si viene en tren llegará antes de las 6. Si viene

en coche llegará antes de las 6. Por tanto llegará antes de las 6.
P: Viene en tren
 Q: Viene en coche
L: Llegara antes de las 6
Entonces: (P ∨ Q)(P ⇒ L)(Q ⇒ L):. L

 Si los elefantes volaran o tocaran el acordeón pensaría que estoy loco y

dejaría que me internaran en un psiquiátrico.
P: Los elefantes volaran
Q: Los elefantes tocaran el acordeón
R: Pensaría que estoy loco
D: Dejaría que me internaran en un psiquiátrico
Entonces: (P ∨ Q) ⇒ (R ∧ D)

 Prefiero ir de vacaciones o estar sin hacer nada solo si tengo tiempo para
ello y no tengo que ir a trabajar.
P: Prefiero ir de vacaciones
Q: Estar sin hacer nada
R: Tengo tiempo para ello
S: Tengo que ir a trabajar
Entonces: (P ∨ Q) ⇔ (R ∧ ¬ S )

 Pili no irá a la fiesta a menos que vaya Mili, y si Mili va a la fiesta no irán ni
Marisol ni Joselito.
P: Pili ira a la fiesta
Q: Mili va a la fiesta
R: Irán Marisol y Joselito
Entonces: (¬ P ∨ Q) ∧ (Q ⇒ ¬ R )

 Dejaré de beber cuando suba el alcohol, en cambio dejaré de fumar tanto

si sube el tabaco como si no.
P: Dejare de beber.
R: Dejare de fumar
S: Sube el tabaco
T: Sube el alcohol
Entonces: T ⇒ P(S ∨ ¬S) ⇒ R

4. Utilice el modus tollens para completar el siguiente argumento: (5 p.142)

Todos los números irracionales son números reales

1/0 no es un número real
 :. 1/0 no es un número irracional.

5. Establezca cuales de los siguientes razonamientos son válidos. Justifique su

respuesta (7-27 p142)
a) Todas las personas sanas comen una manzana al día
Keisha come una manzana al día
Keisha es una persona sana
R. No es válido. Por la regla de afirmación o modus ponens

b) Todos los estudiantes deben tomar escritura

Carolina es una estudiante de primer año
Carolina debe tomar escritura
R. Es válido. Por la regla de afirmación o modus ponens

c) Todas las personas sanas comen una manzana al día

Herbert no es una persona sana
Herbert no come una manzana al día
R. No es válido. Ya que la negación en el modus ponens de P no implica la
negación de Q.

d) Si un número es par, entonces el doble de ese número es par

El número 2n es par, para un número n dado
El número dado n, es par
R. No es válido, ya que puede ser que n sea impar.

e) Todas las personas son ratones

Todos los ratones son mortales
Todas las personas son mortales
R. Es válido por la regla de transitividad.

f) Todos los maestros, a veces cometen errores

Los dioses nunca cometen errores
Los maestros no son dioses
R. El argumento es válido.
6. Razone si los siguientes enunciados son ciertos y por qué:

Todas las brujas tienen un gato negro

Mi vecina tiene un gato negro
Mi vecina es una bruja
R. No es cierto, ya Que P ⇒ Q, no quiere decir que Q ⇒ P.

Si el precio de las acciones sube te harás rico

El precio de las acciones no subió
Por tanto, no te harás rico
R. No es cierto, ya que P ⇒ Q no quiere decir que ¬P ⇒ ¬Q

Si sales te mojarás
No te has mojado
Por tanto, no has salido
R. Es cierto, ya que si P ⇒ Q, entonces ¬Q ⇒ ¬P

7. Reordene las premisas para demostrar que la conclusión se obtiene como un

contexto de secuencia válida de las premisas (31 p.144)

1. Confío en todos los animales que me pertenecen

2. Los perros muerden huesos
3. No admito animales en mi estudio a menos que obedezcan
4. Todos los animales del patio son míos
5. Admito a todos los animales en quienes confío
6. Los animales que realmente obedecen son los perros
∴ Todos los animales del patio muerden huesos

1. Todos los animales del patio son míos

2. Confío en todos los animales que me pertenecen
3. Admito a todos los animales en quienes confío
4. No admito animales en mi estudio a menos que obedezcan
5. Los animales que realmente obedecen son los perros
6. Los perros muerden huesos

:. Solo admito en mi estudio mis animales y perros, que muerden huesos.

8. Establezca la conclusión lógica que se puede sacar:

1. No hay pájaros, excepto avestruces, de menos de 9 pies de altura

2. No hay pájaros en la pajarera que pertenezcan a nadie más que a mi
3. Ningún avestruz vive de pastelillos de fruta
4. No tengo aves de 9 pies de altura
:.No tengo un avestruz

9. Pruebe lo siguiente detallando las reglas de inferencia utilizadas:

a) [ (p ⇒ (q ⇒ r)) ∧ (p ∨ s) ∧ (t ⇒ q) ∧ ¬s] ⇒ [¬r ⇒ ¬t]
1. P →(Q→ R)
2. P ∨S
3. T → q
4. P( Eliminacion)4,2
5. Q →r (Ponens) 1,5
6. Q → R(Ponens) 1,5
7. T → r (Transitividad ) 4,6
8. ¬ r → ¬t (Tollens)7
b) [ (p ⇒ q) ∧ (r⇒ s) ∧ ((q ∧ s) ⇒ t ) ∧ ¬t ] ⇒ [¬r ∨ ¬p]
1. P →q
2. R → s
3. (q ∧ s)→ t
4. ¬t →¬(q ∧ s)(Tollens)3
5. ¬(q ∧ s)=¬q ∨¬ s
6. ¬ q →¬ p (Tollens)1
7. ¬ s ∨¬ r (Tollens)2
8. ¬ r ∨¬ p( Division de casos )5,6,7

10. Elena, Rosa, Blanca, Patty y Carmen viven en un edificio de 6 plantas. Si la

cuarta planta está desocupada, Patty vive al lado de Elena y Blanca, y Carmen
no vive en la última planta. ¿Dónde vive cada una? ¿Hay más de una
posibilidad?
Planta 1era. 2da. 3era. 4ta. 5ta. 6ta.
Ocupant Elena Patty Blanca - Carmen Rosa
e
No existe más de una posibilidad, ya que Patty obligatoriamente debe vivir
entre Elena y blanca, y esta es la única posibilidad que hace verdadera esa
afirmación. Entonces si Carmen no vive en la 6ta. Y la 4ta. está desocupada, la
única posibilidad es que viva en la 5ta.

11. Las aficiones de las personas A, B y C son o el futbol, o el baloncesto, o el

vóley y sus colores favoritos son o el rojo, o el azul o el blanco. Sabiendo que:
a) a B no le gusta el vóley
b) al que le gusta el baloncesto no le gusta el rojo
c) a A no le gusta el baloncesto
d) al que le gusta el vóley le gusta el blanco
e) a B no le gusta el azul

¿Cuál es la afición de A y el color favorito de C?

La afición de A es el vóley y el color favorito de C es el azul.

Persona A B C
Deporte Vóley futbol Baloncesto
Color favorito Blanco Rojo Azul

12. Si el bate cuesta un dólar más que la pelota y juntos suman 1.10 $. Cuánto
cuesta la pelota?

 La pelota cuesta 5 centavos de dólar y el bate 1,05$.

13. Si a 5 máquinas les toma 5 minutos fabricar 5 objetos. Cuanto tiempo tomará
a 100 máquinas fabricar 100 objetos?
A las 100 maquinas le tomara 5 minutos fabricar los 100 objetos.

14. En un lago hay un área ocupada por nenúfares. Cada día esa área del lago
dobla su tamaño. Si tarda 48 días en llenar el lago, cuanto tarda en llenar la
mitad?
Si cada día que pasa, se duplica en tamaño de la parcela de nenúfares y en 48
días el lago está cubierto completamente, la respuesta sería 47 días para cubrir
la mitad del lago, pues al 48 habría duplicado su tamaño y completado del
todo.
15. En qué número está el vehículo aparcado?

Al poner la imagen al revés podemos ver que el auto esta aparcado en el

numero 87.

16. Calcula la distancia que falta sin usar números decimales:

La distancia que falta es de 5 centímetros.

17. Cuando es el cumpleaños de Cheryl?

 R. El cumpleaños es el 16 de julio.

18. Clasifique las siguientes proposiciones como tautología, contradicción o

contingencia. Justifique su respuesta:
a) ( p ⟶ q ) ⟶∼q

P q p⟶q ∼q ( p ⟶ q ) ⟶∼ q
V V V F F
V F F V V
F V V F F
F F V V V
Es una contingencia, ya que hay valores falsos y verdaderos en la tabla de
verdad resultante.

b) ( ∼ q ∨ p ) ⋀ ¿

p q ∼q ∼q∨ p p ∨q ¿ (∼ q ∨ p ) ⋀ ¿
V V F V V V V
V F V V V V V
F V F F V F F
F F V V F F F
Es una contingencia, ya que hay valores falsos y verdaderos en la tabla de
verdad resultante.

c) ( q ⋀ ∼ p ) ⟷ ( p ⋀ q )
p q ∼ p q ⋀∼ p p⋀q ( q ⋀ ∼ p ) ⟷( p ⋀ q)
V V F F V F
V F F F F V
F V V V F F
F F V F F V
Es una contingencia, ya que hay valores falsos y verdaderos en la tabla de
verdad resultante.

19. Escriba la tabla de la verdad para las formas de enunciado: (12,14 p.37)
a) p ∧q

P q ∼p ∼ p ∧q
V V F F
V F F F
F V V V
F F V F

b) p ∧ ( q ∧ r )

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

20. Son p ∨( p ∧ q) y p lógicamente equivalentes? (16 p.37)

P q p ∧q p ∨( p ∧ q)
V V V V
V F F V
F V F F
F F F F
 Si lo son, ya que sus columnas son iguales en la tabla de verdad.

21. Construya tablas de la verdad para las siguientes formas de enunciado (5,7
p.49)
a) p ∨q → q

p q ∼p ∼q p ∨q ( p ∨q ¿ → q

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

b) p ∧ q → r

P q r q p∧ q p∧ q→r
V V V F F V
V V F F F V
V F V V V V
V F F V V F
F V V F F V
F V F F F V
F F V V F V
F F F V F V

22. Utilice tablas de la verdad para determinar si los argumentos siguientes son
válidos: (5,7 p.61)

p →q p
q→ p p →q
∴ p∨q q∨r
∴ r

P q p⟶q q→ p p ∨q

V V V V V
V F F V
F V V F
F F V V F
 Para este ejercicio el Falso demuestra que se puede tener premisas verdaderas
y conclusiones falsas, por lo que el primer argumento no es válido.

P q r q p →q q∨r r
V V V F V V V
V V F F V F
V F V V F V
V F F V F V
F V V F V V
F V F F V F
F F V V V V
F F F V V V
Donde las tres premisas son verdaderas, la conclusión es verdadera, por lo que
el argumento es válido.