Universidad de las Fuerzas Armadas ESPE

Unidad de Educación a Distancia

Nombres y apellidos: Dilan Alexander Manosalvas Andrade

Asignatura Matemáticas

Actividad de aprendizaje
Descripción de la actividad
Revise la información referente a los temas “Lógica Proposicional” y resuelva
los siguientes ejercicios:
1. Construya la tabla de verdad para la siguiente proposición compuesta
(𝑝 → 𝑞) ⟷ (𝑝 ∧ (~ 𝑞))

P Q (𝑝 → 𝑞) ⟷ (𝑝 ∧ (~ 𝑞))
V V V F V F F
V F F F V V V
F V V F F F F
F F V F F F V

2. Sin usar tablas de verdad, demuestre que la siguiente proposición es

una
tautología.
(𝑝 ∧ 𝑞) → (𝑝 ↔ 𝑞)
V F V F
F V
V TAUTOLOGIA
3. Sean 𝑝, 𝑞, 𝑟 proposiciones, supongamos que 𝑝 es verdadera, 𝑞 es falsa y
𝑟 es verdadera; determine el valor de verdad de la siguiente proposición:
[𝑝 ∨ (~ 𝑞)] ⇔ [𝑞 ∧ 𝑟].
~F
V V F V
V F
F
 Universidad de las Fuerzas Armadas ESPE
Unidad de Educación a Distancia

4. Si 𝑝 es falsa, 𝑞 es verdadera y (𝑝 ∧ 𝑞) ⇔ [𝑞 ∧ (~ 𝑟)] es verdadera; Comentado [DM1]: Entonces es Tautología

determine el valor de verdad de la proposición 𝑟.

Resolución:
(𝑝 ∧ 𝑞) ⇔ [𝑞 ∧ (~ 𝑟)]
~V
F V V F
F F
V
Respuesta: r: Verdadera “V”
5. Sean 𝑝, 𝑞, 𝑟 proposiciones. Obtenga la negación de la proposición
siguiente.
Exprese el resultado solo con los tres conectores fundamentales
(𝑝 ⇒ 𝑞) ⇔ (~ 𝑞 ∧ 𝑟)
Resolución:
~ [(𝑝 ⇒ 𝑞) ⇔ (~ 𝑞 ∧ 𝑟)]
~ [(𝑝 ⇒ 𝑞) ⇒ (~ 𝑞 ∧ 𝑟)] ∧ [((~ 𝑞 ∧ 𝑟) ⇒(𝑝 ⇒ 𝑞)]
~{ [~ (𝑝 ⇒ 𝑞) v (~ 𝑞 ∧ 𝑟)] ∧ [~ (~ 𝑞 ∧ 𝑟) v(𝑝 ⇒ 𝑞)]}
~{ [(𝑝∧~𝑞) v (~ 𝑞 ∧ 𝑟)] ∧ [ ( 𝑞 v ~𝑟) v(~𝑝 v 𝑞)]}
{~ [(𝑝∧~𝑞) v (~ 𝑞 ∧ 𝑟)] v ~ [ ( 𝑞 v ~𝑟) v(~𝑝 v 𝑞)]}
{ [~ (𝑝∧~𝑞) ∧~ (~ 𝑞 ∧ 𝑟)]v [~ ( 𝑞 v ~𝑟) ∧~ (~𝑝 v 𝑞)]}
[(~ 𝑝v𝑞) ∧ ( 𝑞 v~ 𝑟)] v [ (~ 𝑞 ∧ 𝑟) ∧ (𝑝 ∧~ 𝑞)]
[(~ p ∧ ~ r ) v q ] v (~ 𝑞 ∧ ( r ∧p )]
6. Demuestre la siguiente equivalencia lógica, no use tablas de verdad.
𝑝 → (𝑞 ∨ 𝑟) = (𝑝 → 𝑞) ∨ (𝑝 → 𝑟)
Resolución:
𝑝 → (𝑞 ∨ 𝑟) ↔~p∨(𝑞 ∨ 𝑟)
↔(~p∨𝑞) ∨(~p∨r)
↔(~~p→ 𝑞)v(~~𝑝 → 𝑟)
↔(p→ 𝑞)v(𝑝 → 𝑟)
7. Simplifique las siguientes proposiciones a su mínima expresión.
[~ (𝑝 → 𝑞) ∧ (~ 𝑝)] ⟷ [𝑞 ⊻ (𝑞 → (~ 𝑝))]
Solución;
[~(~p v q ) ∧ (~p) ⟷[𝑞 ⊻(~q v (~p)) ]
 Universidad de las Fuerzas Armadas ESPE
Unidad de Educación a Distancia

[(p ∧~q) ∧~p ] ⟷[𝑞 ⊻(~q v ~ p) ]

[(p ∧~ p) ∧~ q] ⟷[~(q⟷(~q v ~p)) ]
F ∧ ~ q ⟷ {~[( q →(~ q v ~ p)) ∧ ((~ q v ~p) →q) ]
F ∧ ~ q ⟷{~[(~ q v (~ q ~p)) ∧ (~(~q v ~ p) v q ) ]
F⟷{~[(~ q v ~ p) ∧ ((q ∧ p) v q ) ]
F⟷{~[(~ q v ~ p) ∧ q ]
F ⟷{~[ q ∧ ~p]
F ⟷(~ q v p )
[ F→(~ q v p ) ] ∧ [(~ q v p ) →F ]
[~F V (~ q v p ) ] ∧ [~ (~ q v p ) v F ]
V v (~ q v p ) ∧ [( q ∧ ~p) v F]
V ∧ (q ∧ ~ p)
(q ∧ ~ p)

8. Determine el valor de 𝑝, si se sabe que ~ 𝑞 es una contradicción de la

siguiente tautología:
(𝑝 ∨ (~ 𝑞)) ∧ (~ 𝑝 → 𝑞)
~V ~V
V F F V
V V
V
Respuesta:
P= V
Q= V

9. Demuestre la validez de los siguientes razonamientos

a) 𝑝 → 𝑞
b) ~ (𝑟 ∧ (~ 𝑠))
c) ~ 𝑟 → 𝑝
d) ~ 𝑠
Conclusión: 𝑞

Solución:
 Universidad de las Fuerzas Armadas ESPE
Unidad de Educación a Distancia

a) 𝑝 → 𝑞
b) ~ (𝑟 ∧ (~ 𝑠))
c) ~ 𝑟 → 𝑝
d) ~ 𝑠
e) r → s b Ley condicional
f) ~r e, d Tollendo Tollens
g) p f, p Ponendo Ponens
h) q h,a Ponendo Ponens

10. ¿Qué conclusión se deduce de la siguiente premisa?

a) Si el Ecuador explotara su propio petróleo, entonces el Ecuador tendría
mayores ingresos económicos.
El Ecuador explota su propio petróleo. Y no tiene mayores ingresos

11. Simbolice el siguiente razonamiento y de una deducción completa de

la conclusión

a) Cada número divisible por dos es par (∀𝑥 ∈ R) (𝑥/x = 2x) FALSO= 10/2=5
b) Cuatro o es impar o es un número divisible por dos
4 ∈ (2x+1) v(4=x/2) FALSO= 4 ∉ (2x+1)
c) Cuatro no es impar 4 ∉ (2x+1) VERDADERO= 4 ∈2x
Conclusión: cuatro es par
Conclusión: c = verdadero, cuatro es un numero par

12. Determine el valor de verdad de la siguiente proposición, y luego

desarrolle
su negación
(∀𝑥 ∈ R)(𝑥 + 4 = 0) → (∃𝑥 ∈ R)(2𝑥 - 5 < 0)
0+4=0 2(0)-5< 0
F → V
V
Negación:
 Universidad de las Fuerzas Armadas ESPE
Unidad de Educación a Distancia

(∀𝑥 ∈ R)(𝑥 + 4 = 0) → (∃𝑥 ∈ R)(2𝑥 - 5 < 0)

(∃𝑥 ∈ R)(x+4≠0) →(∀𝑥 ∈ R)(2𝑥-5≥ 0)
0+4≠ 0 2(0)-5≥ 0
V → F
F
13. Demuestre que la siguiente proposición es falsa. Luego niegue la
proposición
(∀𝑥 ∈ R)(𝟔𝒙𝟐- 𝑥 - 2 = 0 → 𝑥 > 0)
6(1)2 -1-2=0
F
Negación:
(∀𝑥 ∈ R)(6𝑥 2 - 𝑥 - 2 = 0 → 𝑥 > 0)
(∃𝑥 ∈ R)( 6𝑥 2 - 𝑥 - 2 ≠ 0 → 𝑥 ≤ 0)
6(0)2-0-2≠0
V
De ser necesario revise los textos de la bibliografía Carlos Castillo 2016),
(Ernest Haeussler 2008).
Formato de entrega del archivo
(.pdf)

Nombre del archivo

A1.Apellido.Nombre.MatemáticaBásica .pdf
Ejemplo: A1.Castro.Jorge.MatemáticaBásica.pdf

Criterios de evaluación
 Resolución de ejercicios: 15 puntos.
 Uso adecuado de notación y simbología matemática: 3 puntos.
 Presentación clara, con letra y simbología legible: 2 puntos.

Extensión máxima
Use las páginas necesarias. Si desea puede resolver en computadora, si este
es el caso, escriba texto matemático con editor de ecuaciones; interlineado
1,15.