Parcial lógica computacional

Estudiante: Jholman Adrian Sogamoso Gutierrez 1006457519

Profesor: Hernando Castañeda Marín
Ejercicio 1 Diga cuales de las siguientes proposiciones o enunciados abiertos son atómicas
y moleculares, expréselo simbólicamente luego de identificarlos correctamente:
1. La gallina pone huevos porque es hembra.
p: La gallina pone huevos.
q: La gallina es hembra.
q→p
2. El pavo será para mañana antes de las 12 de la noche.
p: El pavo será para mañana.
q: El pavo es antes de las 12 de la noche.
p∧q.
3. O Luis es buen jugador o es afortunado.
p: Luis es buen jugador.
q: Luis es afortunado.
p∧q
4. Hoy está lloviendo.
p: hoy está lloviendo
5. Mi perro es bonito, pero huele feo.
p: Mi perro es bonito.
q: Mi perro huele feo.
p∧q
6. Perú se encuentra al lado izquierdo de Brasil y Brasil se encuentra en América.
p: Perú se encuentra al lado izquierdo de Brasil.
q: Brasil se encuentra en américa.
p∧q.
 7. Mi gato no quiere comer.
p: Mi gato quiere comer
∼p∼.
8. Escribo con un lapicero si y sólo si tiene tinta.
p: Escribiré con un lapicero.
q: El lapicero tiene tinta.
p↔q.
9. Los tiburones les gusta la carne.
p: tiburones gustan carne
10. Puedes usar una dona de plata o una esfera de plata en tu pulsera de piedras.
p: Puedes usar una dona de plata en tu pulsera de piedras
q: Puedes usar una esfera de plata en tu pulsera de piedras
pvq

Ejercicio 2 Expresar mediante fórmulas proposicionales las siguientes afirmaciones. En

cada caso indique el significado que se asigna a las variables proposicionales (p, q, etc.)
utilizadas.
1. Si el sol brilla hoy, entonces no brillará mañana.
 p: el sol brilla hoy ¬p: no brillara mañana
p→¬p

2. O Roberto tiene celos de Chari o no está de buen humor hoy.

p: Roberto tiene celos de Chari q: está de buen humor hoy
p∨¬q

3. Cuando la presión atmosférica baja, entonces llueve o nieva.

p: Cuando la presión atmosférica baja q: llueve r: nieva
p→ (q∨r)

4. Si has leído los apuntes y has hecho los ejercicios, estás preparado para el examen.
En caso contrario, tienes un problema.
p: has leído los apuntes q: has hecho los ejercicios r: estas preparado para el
examen
o: tienes un problema
p∧q∧r ∨ ¬p∧¬q∧¬r → o

5. No habría cura para el cáncer salvo que se determine su causa y se encuentre un

nuevo medicamento.
¬p: No habrá cura para el cáncer q: se determine su causa r: se encuentre un
nuevo medicamento
¬p↔(q∨r)

6. Si Pablo se encontró con Chari ayer, entonces tomaron café juntos o pasearon por el
parque.
p: Pablo se encontró con Chari ayer q: tomaron café juntos r: pasearon por el
parque
p→ (q∨r)

7. Juan duerme muchas horas y muy profundamente.

p: Juan duerme muchas horas q: muy profundamente.
p∧q

8. Mi hermana tiene un gato blanco y negro.

p: Mi hermana tiene un gato blanco y negro Proposición simple
Ejercicio 3. – ¿Cuál de las siguientes formulas representa la proposición “¿Llegaría en el
tren de las 8:15 o en el de las 9:15, si llega en el primero, entonces tendría tiempo para
visitarnos”?
Donde p expresa “Llegaría en el tren de las 8:15”
q expresa “Plegaria en el tren de las 9:15”
r expresa “Tendría tiempo para visitarnos”
1. ¬p → q ∨ r
2. p ∨ q → r
3. (p → q) ∧ (p ∧ r)
4. p ∨ ¬q → r
5. (p ∨ q) ∧ (p → r)

RTA: La proposición que responde a la pregunta formulada es la 5 (p ∨ q) ∧ (p → r)

P: Llegará en el tren de las 8:15

V: O
Q: Llegará en el tren de las 9:15
∧: Y
R: Tendrá tiempo para visitarnos

Ejercicio 4. – ¿Cuáles de las siguientes proposiciones pueden escribirse como p ∨ (q ∧ r),

para p, q y r adecuados?

1. Si la inflación sube y hay elecciones cerca, entonces las pensiones suben

2. Puedes nadar, o usar la sauna y la ducha.
3. Tienes que comprar pan, queso y vino.
4. Las plantas necesitan agua y alimento, pero no que les hablen.

RTA: Puedes nadar, o usar la sauna y la ducha.

De la siguiente manera se puede separar el enunciado y formar la proposición

5.
P: Puedes nadar
V: o
Q: usar la sauna
∧: y
R: la ducha

Ejercicio 5. – Hallar las tablas de verdad con logic-tools

o ((¬p ∨ q) ∨ (q ∨ r))
o (¬ (¬ (¬p ∨ p) ∨ p) ∨ q)

o :( ((p → q) ∨ r) → (p ∧ ¬p))

o (¬ (p ∧ q) → (q ∧ r))
o ((p → (q ∧ r)) → (¬¬p ∧ q))

o ¬ ((p ∧ p) ∧ (p ∧ p))

o (((p ∨ q) ∨ (r ∨ s)) → ¬p)

 o (p → ((q ↔ s) → p))

Ejercicio 6. – Para cada uno de los siguientes pares de fórmulas, decidir si son equivalentes:

o A→B→CyA∧B→C
no son equivalentes. Podemos mostrar esto con un contraejemplo. Supongamos que A es
verdadero, B es verdadero y C es falso. Entonces A → B → C es verdadero, pero A ∧ B →
C es falso.

o A → (B ∧ ¬C) y A → B → C

no son equivalentes. Podemos mostrar esto con un contraejemplo. Supongamos que A es

verdadero, B es falso y C es verdadero. Entonces A → (B ∧ ¬C) es falso, pero A → B → C
es verdadero.

o ¬ (A ↔ B) y A ↔ ¬B

son equivalentes. Podemos demostrarlo mediante una tabla de verdad:

A B ¬(A ↔ B) A ↔ ¬B
V V F F
V F V V
F V V V
F F F F

En ambas columnas, la verdad y la falsedad se alinean, lo que indica que las dos fórmulas
son equivalentes.

o A → B ≡ ¬B → ¬A

A → B ≡ ¬B → ¬A son equivalentes. Podemos demostrar esto mediante una tabla de

verdad:
A B A→B ¬B → ¬A
V V V V
V F F F
F V V V
F F V V

En ambas columnas, la verdad y la falsedad se alinean, lo que indica que las dos fórmulas
son equivalentes

o A → B ≡ ¬ (A ∧ ¬B)

A → B ≡ ¬ (A ∧ ¬B) son equivalentes. Podemos demostrar esto mediante una tabla de

verdad:
 A B A→B ¬(A ∧ ¬B)
V V V V
V F F F
F V V V
F F V V

En ambas columnas, la verdad y la falsedad se alinean, lo que indica que las dos fórmulas
son equivalentes.

o A ∧ B ≡ ¬ (A → ¬B)

A ∧ B ≡ ¬ (A → ¬B) son equivalentes. Podemos demostrar esto mediante una tabla de

verdad:
A B A∧B ¬(A → ¬B)
V V V V
V F F F
F V F F
F F F V
En ambas columnas, la verdad y la falsedad se alinean, lo que indica que las dos fórmulas
son equivalentes.

o A ∧ (B → A) ≡ A

A ∧ (B → A) ≡ A son equivalentes. Podemos demostrar esto mediante una tabla de verdad:

A B B→A A ∧ (B → A)
V V V V
V F V V
F V F F
F F V F