PRÁCTICA DIRIGIDA UN PUNTO BONUS PARA EL CONSOLIDADO 01

Matemática Discreta

Instrucciones: Lee atentamente y desarrolla las preguntas en forma clara evitando borrones
Envía solucionario en formato PDF.

APELLIDOS Y NOMBRES: Casqui Ortega Xiomara Xibile

1. Identifique los enunciados que son o no proposiciones. (3puntos)

1) El 2 no es primo, tampoco el 3 (si es proposición)
2) 𝑥 + y + 4=0 (no es proposición)
3) El virus de COVID-19 no se ve, pero existe (si es proposición)
4) 90 es múltiplo de 3. (si es proposición)
5) 𝑥 3 𝑦 3 + 𝑧 3 > 4 (no es proposición)
6) Quisiera viajar a la ciudad incontrastable Huancayo. (no es proposición)

2. Con tablas de verdad el resultado del operador principal del esquema

𝑝roposicional es [(𝒑 𝒒 ) → (~𝒓 𝜦 𝒒)] → (𝒒 ↔ 𝒓 ) es: (3puntos)
V V V F F F V V V V V
V V V V V V V F V F F
V V F F F F F V F F V
V V F F V F F V F V F
F V V F F F V V V V V
F V V V V V V F V F F
F F F V F F F F F F V
F F F V V F F V F V F

Operador principal

b. Formalizar:
“Adriana no estudiará para su examen si va a la fiesta. Es falso que, va a la fiesta y
aprueba sus cursos. No va a la fiesta ni estudia. Por lo tanto, Adriana estudia para su
examen” (3puntos)

a) Proposiciones simples (1punto)

• p: Adriana estudia para el examen
• q: Va a la fiesta
• r: Aprueba sus cursos
 b) Premisas (1punto)
• p1: q → ~𝑝
• p2: ~ (𝑞 𝛬 𝑟)
• p3: ~ 𝑞 𝛬~ 𝑝
→p

c) Formalización (1punto)
• (𝒒 → ~𝒑)𝜦 ~( 𝒒 𝜦 𝒓) 𝜦 (~ 𝑞 𝛬~ 𝑝) → 𝒑

4. Simplificar la expresión detallando las leyes lógicas que ha utilizado:

{p→ [(~q→ ~p) → ~q]} 𝛬 [(~p v (r 𝛬~p)] Condicional
{-p v [ - (q v -p) v -q]} 𝛬 [(~p v (r 𝛬~p)] Absorsión
{-p v [ - (q v -p) v -q]} 𝛬 -p Morgan
{-p v [ (- q 𝛬 p) v -q]} 𝛬 -p Absorción
{-p v -q} 𝛬 -p Absorción
Respuesta: -p

5. Dado el siguiente razonamiento:

“Estoy orgulloso de mi mismo. Me va bien en deportes o no puedo estar orgulloso
de mi mismo. Si estudio, entonces no me va bien en deportes. Por tanto, no estudio”,
determine:
a) Las proposiciones simples. (1 punto)
• p: Estoy orgulloso de mi mismo.
• q: Me va bien en deportes.
• r: Si estudio.
b) Las premisas. (1 punto)
• p1: p
• p2: q v -p
• p3: r → -q
→ -r
c) Demostrar la validez del razonamiento por medio de reglas de inferencia. (2
puntos).
1. P
2. q v -p
3. r →-q
4. q (1,2: silogismo disyuntivo)
5. -r (3,5: modus tollens)

Respuesta: Razonamiento correcto.

 6. Luego de identificar el valor de verdad de las siguientes proposiciones:
(3 puntos)
p: ~ { 𝑥 Є Z, 𝑥 3 ≥0} (V)
1
q:  𝑥 Є Z, 3𝑥 = 27 (V)
100
r: ~ {  𝑥 Є Z, = 1} (V)
𝑥

Determine el valor de verdad de:

(p v ~ r) → ~ q
(V v F) → F
V→F
F