EVALUACIÓN DE CONSOLIDADO 1.

Facultad: Ingeniería Civil Apellidos: Quispe Cruz

Asignatura: MATEMÁTICA DISCRETA Nombres: Elvis
Docente : Lisardo Negrón Calvo Fecha : 12./09/2022 Sección: …………

INSTRUCCIONES: Responda las siguientes preguntas teniendo en cuenta las indicaciones de cada pregunta.
Presente la resolución a esta misma sección en formato PDF o Word en un solo archivo, evite borrones y presente
Proceso ordenado.

1.- Determine si los siguientes enunciados son proposiciones. (1/2 Puntos c/u).
a) Solo sé que nada sé
b) El calor dilata los cuerpos
c) La materia es energía concentrada.
d) Todo triángulo es un polígono

2.- Determine si la siguiente proposición [𝑟 ↔ (𝑝 ˅ 𝑞)] ↔ [(𝑝 ˅ 𝑞) → (~𝑝 ˅ 𝑟)]

Es una tautología, contingencia o contradicción, utilizando tabla de verdad
determinando: (3 Puntos)
a) La tabla de verdad. (2 puntos)

b) Si es una tautología, contradicción o contingencia, utilizando la tabla de verdad

(1 punto)
3.- Dado el siguiente razonamiento: “Si la huelga termina, los administradores
triunfan. Si los precios de los productos de la fábrica suben, los salarios suben. Los
administradores no triunfaron y los salarios bajaron. Por tanto, la huelga no
termina y los salarios no suben”, determine. (4 Puntos):
a) Las proposiciones simples en forma del lenguaje simbólico. (1 punto)

b) Las premisas. (1 punto)

c) Demostrar si la inferencia es válida. (2 puntos).

4.- De la siguiente proposición 𝐩 ˄ {(𝐬 ∨ ~𝐩) ∨ [~𝐪 ∨ 𝐫]} simplifique
Aplicando leyes lógicas, señalando:
a) Las leyes aplicadas. (2 puntos)
b) La demostración indicando las equivalencias. (2 puntos).

5.- Del siguiente circuito lógico determine. (4 Puntos):

o ∼p o
q

∼q ∼p

a) El esquema molecular que corresponde circuito lógico. (2 Puntos).

b) Su equivalencia al simplificar. (2 Puntos).
6.- Dadas las proposiciones. (3 Puntos).

𝒑: ∀𝒙, 𝒚𝝐ℝ , (𝒙−𝟏 − 𝒚−𝟏)𝟐 = 𝒙−𝟐 − 𝟐𝒙−𝟏𝒚−𝟏 + 𝒚−𝟐; 𝒙 ≠ 𝟎˄ 𝒚 ≠ 𝟎

𝒙+𝒚
𝒒: ∀𝒙, 𝒚𝝐 ℝ, = 𝟐𝒙 + 𝟐𝒚
𝟐
𝒓: ∃𝒙𝝐 𝑵, 𝟑𝒙 + √𝒙 − 𝟏 = 𝟏
𝒕: ∃𝒙𝝐 𝒁, 𝒙 − 𝟏 = 𝟐√𝒙
Determine

a) Los valores de verdad de p, q, r y t. (2 Puntos).

b) El valor de verdad de: [𝑡 → (𝑝 ˄~ 𝑟)] ↔ (𝑞˅ 𝑡), utilizando los valores de

verdad encontrados en la parte a). (1 Punto).