Ejercicios Resueltos y Propuestos

Lógica Proposicional
Luis Friz
Primer Semestre 2021

1 Preliminares
• El conectivo lógico “si...entonces..”, que se denota por una flecha →, tiene un nombre un poco engorroso. Para simplificar,
vamos a hablar de “implicación”.
• Dada una implicación p → q, la implicación recíproca es q → p y la contrarrecíproca es ∼ q →∼ p.
• La redacción de una proposición puede ser un tanto diversa. Por ejemplo, consideremos “La variable es distinta de cero”,
y “la variable es no nula” si bien la redacción es distinta, es la misma proposición pues entrega la misma información, ni
más ni menos.
• Puesto que, todas las tautologías son equivalentes entre si (son siempre verdaderas), de manera abstracta las denotareemos
como V y la asumiremos como una especie de representante. Del mismo modo, todas las contradicciones son equivalentes
así que de manera abstracta, las denotaremos por F.

2 Ejercicios Resueltos
1. Sean p, q son proposiciones. Muestre que una implicación p → q y su contrarrecíproco ∼ q →∼ p son equivalentes.
Solución. Veamos la tabla de verdad:
p q ∼ q ∼ p p → q ∼ q →∼ p
v v f f v v
v f v f f f
f v f v v v
f f v v v v
Luego, dado que los valores de verdad de p → q y ∼ q →∼ p son iguales, se deduce que son lógicamente equivalentes.
2. Probar la ley de De Morgan ∼ (p ∧ q) ≡∼ p∨ ∼ q.
Solución. Nuevamente, debemos ver la tabla de verdad:
p q ∼ p ∼ q p ∧ q ∼ p∨ ∼ q ∼ (p ∧ q)
v v f f v f f
v f f v f v v
f v v f f v v
f f v v f v v
Es decir, dado que los valores de verdad de ∼ (p ∧ q) y de ∼ p∨ ∼ q son iguales, se deduce que son lógicamente equivalentes.
3. Probar la ley de De Morgan ∼ (p ∨ q) ≡∼ p∧ ∼ q.
Solución. Una vez más, debemos ver la tabla de verdad:
p q ∼ p ∼ q p ∨ q ∼ p∧ ∼ q ∼ (p ∨ q)
v v f f v f f
v f f v v f f
f v v f v f f
f f v v f v v
Es decir, dado que los valores de verdad de ∼ (p ∨ q) y de ∼ p∧ ∼ q son iguales, se deduce que son lógicamente equivalentes.
4. Sea V tautología y p una proposición cualquiera, entonces p ∧ V ≡ p y p ∨ V ≡ V.
Solución. Veamos con la tabla de verdad:
p V p∧V p∨V
v v v v
f v f v
De donde se conluye fácilmente que p ∧ V ≡ p y p ∨ V ≡ V.

1
 5. Sea F una contradicción y p una proposición, entonces p ∧ F ≡ F y p ∨ F ≡ p.
Solución. La tabla de verdad en este caso es
p F p∧F p∨F
v f f v
f f f f
De donde se conluye que p ∧ F ≡ F y p ∨ F ≡ p.
6. Sean p, q dos proposiciones:

(a) Muestre que p → q y ∼ p ∨ q son lógicamente equivalentes.

Solución. Veamos la tabla de verdad,
p ∼p q p→q ∼p∨q
v f v v v
v f f f f
f v v v v
f v f v v
Dado que los valores de verdad de las proposiciones p → q y ∼ p ∨ q son iguales, se concluye que son lógicamente e
(b) Usando (a) encontrar la negación de ∼ (p → q).
Solución. En principio negar p → q es muy complicado, pero dado que p → q y ∼ p ∨ q son lógicamente equivalentes,
si bien no son iguales, sus negaciones serán también equivalentes. De este modo, usando las Leyes de De Morgan:

∼ (p → q) ≡ ∼ (∼ p ∨ q) ≡ p∧ ∼ q.

(c) Usar (b) para negar la proposición “∀x ∈ R, si x > 2, entonces x ≥ 3”.
Solución. En este caso, la expresión tiene la estructura, ∀x ∈ R, F (x). Donde F (x) : Si x > 2, entonces x ≥ 3.
Poniendo P (x) :x > 2 y Q(x) : x ≥ 3. Entonces, se puede escribir ∀x ∈ R : P (x) → Q(x). Así, negando

∼ [∀x ∈ R : P (x) → Q(x)] ≡ ∃x ∈ R, P (x)∧ ∼ Q(x)

≡ ∃x ∈ R, x > 2 ∧ x < 3
≡ ∃x ∈ R, x > 2 y x < 3.

7. De un ejemplo en donde una implicación p → q sea verdadera, pero su recíproco q → p se falsa.

Solución. Consideremos la implicación “Sí un ciudadano respeta las leyes del tránsito, entonces no conduce a más de
50km/h en ciudad”. En este caso, podemos considerar p : “un ciudadano respeta las leyes del tránsito” y q : “un ciudadano
no conduce a más de 50km/h” y tenemos la estructura p → q. Esta proposición es claramente verdadera
El recíproco de esta implicación es q → p, en palabras “Si un ciudadano no conduce a más de 50km/h, entonces respeta las
leyes del transito”. Este recíproco es falso, en efecto, un ciudadano puede no conducir a más de 50km/h y, sin embargo,
estar bajo la influencia del alcohol o drogas y, por tanto, no respetar las leyes del transito.
8. Usando el ejemplo anterior, dada la implicación p → q escribir el contrarrecíproco ∼ q →∼ p.
Solución. Nuevamente, consideramos la implicación “Sí un ciudadano respeta las leyes del tránsito, entonces no conduce
a más de 50km/h en ciudad”. Una vez más, tiene la estructura p → q con p :”un ciudadano respeta las leyes del tránsito”
y q : “un ciudadano no conduce a más de 50km/h”.
El contrarrecíproco ∼ q →∼ p se escribo “Si un ciudadano conduce a más de 50km/h en ciudad, entonces no respeta las
leyes del transito”.
9. Muestre que p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r.
Solución. Veamos sus tablas de verdad:
p q r p ∧ q q ∧ r (p ∧ q) ∧ r p ∧ (q ∧ r)
v v v v v v v
v v f v f f f
v f v f f f f
v f f f f f f
f v v f v f f
f v f f f f f
f f v f f f f
f f f f f f f
Puesto que los valores de verdad de p ∧ (q ∧ r) y (p ∧ q) ∧ r son iguales, entonces son equivalentes.
10. Sin usar tabla de verdad, muestre que p ∧ (p → q) ≡ p ∧ q.
Solución. Para resolver este problema, vamos a usar las equivalencias que ya hemos probado o que han sido dadas:

p ∧ (p → q) ≡ p ∧ (∼ p ∨ q), ver ejercicio 6a),

2
 ≡ (p∧ ∼ p) ∨ (p ∧ q) leyes de Distributividad,
≡ F ∨ (p ∧ q) ver ejercicio 5)
≡ p ∧ q.

11. Supongamos que p → q es falso, entonces cuál es el valor de verdad de p.

Solución. Recordemos que
p q p→q
v v v
v f f
f v v
f f v
es decir, la única posibilidad de que una implicación sea falsa, es que p sea verdadera y q sea falsa. Se deduce que p es
verdadera.

3 Ejercicios Propuestos
1. Demuestre las Ley de De morgan ∼ (p ∧ q) ≡∼ p∨ ∼ q.

2. Muestre que p ∧ q implica lógicamente a p, lo que se denota por (p ∧ q) ⇒ p.

3. ¿Es verdad que p ∨ q implica lógicamente a p? Justifique su respuesta.
4. ¿Es p → (p ∨ q) una tautología? Justifique su respuesta.
5. Muestre que p ↔ q ⇒ p → q.

6. Muestre que p ∨ p ≡ p y que p ∧ p ≡ p.

7. ¿Es (p ↔∼ q) → (p → q) una tautología?
8. Sin usar tabla de verdad ver si es verdadero o no que (p∧ ∼ q) →∼ p ≡ p → q.

9. Supongamos que ∼ r ↔ q es verdadera y que (p ∧ q) → s es falsa. ¿Cuál es el valor de verdad de r?

Solución. Si (p ∧ q) → s es falsa, entonces p ∧ q es verdadera y s falsa. Así, tanto p como q son verdaderas. Luego, ∼ r es
verdadera, entonces r es falsa.
10. Negar las siguientes proposiciones:

(a) ∀m ∈ U, ∃n ∈ U, 2n = m, donde U es el conjunto de los números enteros.

(b) ∀x ∈ U, ∃y ∈ U, x · y = 1, donde U es el conjunto de los números reales.
(c) ∃x ∈ U, ∀y ∈ U, (x + y)2 = x2 + y 2 , donde U es el conjunto de los números reales

References
[1] Robledo, Alamiro. Lecciones de Álgebra Elemental Moderna. Editorial Universitaria.
[2] Zill, Dennis. (2001). Álgebra y Trigonometría. Editorial Mc Graw Hill.