Matemática Discreta

SOLUCIONARIO DE LA PRÁCTICA N°1

Apellidos :
Sección :
Asignatura : Nombres :
Docente : Rocío Pilar Vargas Navarro Fecha : Duración:

Determine si las expresiones son enunciados, enunciado abierto o

1
proposición (0.5 puntos cada uno )

Proposición

Proposición

Proposición

Enunciado abierto

Enunciado

Enunciado

Enunciado abierto

2 Escribe la expresión de manera simbólica (0.5 puntos cada uno )

a) Lima es la capital del Perú y Bolivia se encuentra ubicada en

América del Sur. p ˄ q
b) Si 2 > 1 , entonces 3 > 2 p → q
c) 24 es un número par y 42 es un número impar p ˄ q
d) Si Bolivia limita con el Perú, entonces Perú limita con Chile. p→q
e) Si ella viene entonces nos vamos al cine p →q
f) Está lloviendo y hace frío. p ˄ q
g) Si la paloma es una ave, entonces tiene alas. p → q
h) Gabriel va al paseo si y solo si tiene dinero. p ↔ q
i) Si Andrea está alegre entonces va a la fiesta. p→q
j) Si hiela esta noche, entonces vamos a patinar. p →q
k) La culebra es un reptil o un mamífero. p v q
l) Si Héctor no está sano, entonces no es apto para el servicio
militar. ~p→~q
m) Iré al estadio, solamente si hace buen tiempo. P ↔ q
 Matemática Discreta

3 Construir la tabla de verdad (5 puntos)

p q r ~p ~r ~ p Λ ~r q V ~r q  [~ p Λ ~r] [~ p Λ ~r]  [q V ~r]

V V V F F F V F F

V V F F V F V F F

V F V F F F F V V

V F F F V F V V F

F V V V F F V F F

F V F V V V V V V

F F V V F F F V V

F F F V V V V V V

4
De la falsedad de la proposición (𝑝 → ~𝑞)˅(~𝑟 → 𝑠) se
deduce que el valor de verdad de los siguientes
esquemas moleculares (5 puntos)
𝐵 = [(~𝑟˅𝑞) ↔ [(~𝑞˅𝑟)˄ 𝑠]]
𝐶 = (𝑝 → 𝑞) → {(𝑝˅𝑞 )˄~𝑞 }
SOLUCIONARIO

(𝑝 → ~𝑞)˅(~𝑟 → 𝑠)
F F
(𝑝 → ~𝑞)˅(~𝑟 → 𝑠)
V F V F
 Matemática Discreta

V(p)= V
V(~ q)= F V(q)= V
V(~ r)= V V(r)= F
V( s)= F

V(p)= V V(~ q)= F V(~ r)= V

V(q)= V V(r)= F V( s)= F

𝑩 = [(~𝒓˅𝒒) ↔ [(~𝒒˅𝒓)˄ 𝒔]]

V V F F
V F F

V ↔ F
F
 Matemática Discreta

𝐶 = (𝑝 → 𝑞) → {(𝑝 ˅𝑞) ˄ ~𝑞}

V V V V

V V ˄ F

V → F