Universidad Finis Terrae
Escuela de Ingenierı́a Comercial
Asignatura: Álgebra
Segundo Semestre 2015
Guı́a 1 : Lógica
Lógica Proposicional
1. Considere los enunciados representados por las proposiciones p y q :
p : 4 es un número primo y q : 4 es divisor de 32.
Exprese en español los enunciados representados por:
a) p ∧ q b) q ⇒ ∼ p c) ∼ p ⇔ q
d) ∼ p ∨ q e) ∼ p ⇒ ∼ q f ) (q ∧ ∼ p) ∨ ∼ q
2. Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de
las siguientes proposiciones:
a) (p ∧ ∼q)⇒ r b) (∼ p ⇒∼ r)∧ q
c) (p ∧ ∼ r)⇔ q d ) ∼(∼ p ⇒ r)∧ (∼ r ∨ p) 2
3. Considere las proposiciones, p : Él es Ingeniero Civil, q : Él es Informático, r : Él es
Empresario. Escriba en forma simbólica los siguientes enunciados:
a) Él no es Ingeniero Civil ni Informático, pero si Empresario.
b) Él no es Ingeniero Civil y es Informático.
c) Ser Ingeniero Civil o Empresario es lo mismo que ser Informático.
d ) Si él es Ingeniero Civil e Informático, entonces es Empresario.
e) Si no es Ingeniero Civil y es Informático, entonces es Empresario.
f ) Es Ingeniero Civil sólo si es Informático y Empresario.
4. A través de una matriz de valores veritativos, determine si los siguientes esquemas son
Tautologı́a, Contradicción o Contingencia:
a) [ (p ⇒ ∼ q) ⇔ ( p ∨ q ) ] ⇒ ( ∼ p ⇒ q )
b) [ ( ∼ q ∨ ∼ p)⇒ q ] ∧ ∼ [ q ∨ ∼ ( q ⇒ p ) ]
c) ( p ⇒ q ) ⇒ [ ( p ∧ r ) ⇒ ( q ∧ r ) ]
d ) [ ( p ⇒ q ) ∧ ( ∼ q ⇒ q ) ] ⇒ (p ∧ q ) ]
e) [ ∼ a ⇒ ( b ∨ c ) ] ∧ [ ( a ∨ b ∨ c ) ⇒ {( b ∨ c ) ∧ a } ]
f) [(p⇒q)∧∼q]⇒∼p
g) ∼ [ ( a ∨ b ) ⇒ ( ∼ a ∧ b ) ] ⇔ b
h) ∼ [ ( p ⇒ q ) ∧ ( ∼ q ⇒ q ) ] ⇒ ( p ∧ q )
5. Verifique si las siguientes proposiciones compuestas tienen carácter de Tautologı́a, Contra-
dicción o Contingencia:
a) { [ ( a ⇔ ∼ b) ∧ c ] ∨ [ ( ∼ a ⇒ c) ∧ b ] }
b) ( p ∨ q ) ∨ [ p ⇒ ∼ q ) ⇒ ( q ⇒ p)]
c) { [ a ⇒ ( b ∧ ∼ c ) ] ⇔ ∼ b } ⇒ ( ∼ a ∨ c)
d ) [ ( p ⇒ q ) ∧ ∼( p ∧ q)] ⇔ ( p ∧ ∼ q)
e) [ ( ∼ q ∨ r ) ⇒ ∼ p ] ∨ [ ( p ⇔ r) ∧ ( ∼ p ⇒ r ) ]
f ) { ∼ a ⇔[ c ⇒ ( a ∧ b ) ] } ⇒ ∼ (c ∧ ∼ b)
g) ∼ [ ( p ⇔ ∼ q)⇒ ( r ⇒ p ) ] ∧ ( p ∨ ∼ r )
6. Si se sabe que ∼ p∧ q ≡ C, demuestre, usando álgebra proposicional, que:
[ ( p ∨ q)⇔ ( p ∧ ∼ q ) ] ∨ p ≡ T.
7. Si ∼ p ∨ q ≡ T, demuestre que
[ ( p ∨ q ) ⇔ ( ∼ p ∧ q ) ] ∨ q ≡ T.
8. Demuestre que los esquemas p ⇒ ( q ∨ r ) y ( p ∧ ∼ q ) ⇒ r son lógicamente equivalentes.
9. Determine el valor de verdad de las proposiciones p, q y r en cada uno de los siguientes
casos, sabiendo que el valor de verdad del esquema propuesto es el que se indica. Comente
su resultado.
a) [∼ ( p ⇒ q ) ∧ ( r ∨ q ) ] : V
b) { [ ( p ∧ q ) ⇒ ( p ∧ r )] ∨ ( p ⇒ r)} : F
c) { [ ( p ⇔ q ) ⇔ ( p ∨ r )] ∧ ∼ [ p ⇒ ( q ∧ r ) ] } : V
d ) { [ ( p ∨ q ) ∧ ( p ⇒ r ) ] ⇒ [ ( p ∧ q ) ∨ ( q ⇒ r) ] } : F
e) { ∼ [ ( p ∧ ( q ⇒ r ) ] ∨ [ ( p ∨ q ) ⇒ ∼ ( p ∧ r ) ] } : F
10. Demuestre que si q tiene el valor de verdad F, entonces la proposición compuesta
(∼p⇒∼q)⇔[(q∧r)∧(∼p∨∼q)]
resulta Falsa.
11. Considere tres proposiciones p, q y r de las cuales se sabe que p ∧ q es Verdadero, y que
q ∧ r es Falso. Determine el valor veritativo del esquema ( r ∨ p ) ⇒ ( r ∧ p ).
12. Demuestre, usando álgebra lógica, las siguientes, las siguientes equivalencias entre esque-
mas.
a) q ⇒ [ ∼ p ⇒ ( p ∨ q ) ] ≡ ∼ ( p ∧ ∼ p )
b) p ∧ [ ∼ ( p ∨ q ) ∨ ∼ ( ∼ q ∨ p ) ] ≡ ∼ ( p ⇒ p )
c) p ∨ ∼[ p ∧ ( q ∨ ∼ p ) ] ≡ T
d) [ ( ∼ p ∨ ∼ q ⇒ ( p ∧ ∼ q ] ≡ p
e) [ ( p ∧ ∼ q )∨ ( ∼ q ∧ ∼ p ) ] ≡ ∼ q
13. Dado el conjunto A = {1, 2, 3, 4, 5}, determine el valor de verdad de las siguientes propo-
siciones:
a) ∃! x ∈ A / x + 3 = 10 b) ∀ x ∈ A : x + 3 ≤ 10
c) ∃ x ∈ A / x + 3 < 10 d) ∀ x ∈ A : x + 3 ≤ 7
14. Dado el conjunto A = {1, 3, 5, 7}, determine el valor de verdad de las siguientes proposi-
ciones:
a) (∃ x ∈ A / 4x2 − 19x − 5 = 0) ∨ (∃ x ∈ A / x2 = x)
b) (∃ x ∈ A / 2x + 3y = 5x) ∧ (∃ x ∈ A / 2x = x)
15. Determine el valor de verdad de cada una de las siguientes proposiciones; para las que sean
falsas, escriba la negación.
a) ∀ x ∈ N, x es par o impar.
b) ∃ a ∈ R / a2 = 1 ⇒ 00 = 1.
c) Si todo número primo es impar, entonces dos no es primo.
√ √ √
d ) ∀ a, b ∈ R, ab = a b.
e) ∀ x ∈ R, ∃ n ∈ N / x < n.
f ) ∀ x ∈ A, ∃ y ∈ A / x2 + y 2 ≤ 25, donde A = {1, 2, 3, 4, 5}.
