UNIVERSIDAD CENTRAL DEL ECUADOR

FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS

CARRERA DE INGENIERÍA CIVIL

ASIGNATURA: MATEMÁTICAS

ACTIVIDAD 3

PROFESOR DE ASIGNATURA: LIC. ROGER BOMBON

ESTUDIANTE: DENNIS JHOAN GUATO HUARACA

PARALELO: IC-008

PERÍODO 2022 – 2022

 TRABAJO INDIVIDUAL SEMANA 3 INGENIERÍA CIVIL 08

Determine cuáles de las siguientes proposiciones son simples y cuáles de ellas son
proposiciones compuestas.

a. Los números enteros que terminan en 0 o en 5 son divisibles por 5. Compuesta

b. Los números impares son múltiplos de 3. Simple

c. El mes de agosto tiene 30 días. Simple

d. Todos los números primos son impares. Simple

e. Tegucigalpa es la capital de Honduras y está en América Central. Compuesta

f. No es cierto que Roma es la capital de Italia. Compuesta

g. El triángulo es un polígono cerrado. Simple

h. Gabriel García Márquez escribió la novela “Cien años de Soledad”. Simple

i. 12 + 1 = 7 ó 12 + 1 = 13 (exclusiva) Compuesta

j. El primer día de la semana no es el domingo. Compuesta

k. El año tiene 12 meses. Simple

l. Todas las semanas tiene 7 días. Simple

m. 11 es menor que 3 y 5 es menor o igual que 11. Compuesta

o. El triángulo tiene 3 lados y el cuadrado tiene 5 lados. Compuesta

Complete la siguiente tabla de verdad para las proposiciones: q ∨ ¬r, ¬p y ¬p ∧ (q ∨ ¬r),
donde V corresponde con el valor lógico verdadero y F con el valor lógico falso:

p q r ¬r q ∨ ¬r ¬p ¬p ∧ (q ∨ ¬r)

V V V F V F F

V V F V V F F

V F V F F F F

V F F V V F F

F V V F V V V

F V F V V V V

F F V F F V F

F F F V V V F

Determine el valor lógico de las siguientes expresiones sabiendo que p, s y t son

proposiciones verdaderas, mientras que q y r son proposiciones falsas:

a. ¬(p ∧ (r ∨ ¬q)) Falso

p q r ¬q r ∨ ¬q p ∧ (r ∨ ¬q) ¬(p ∧ (r ∨ ¬q))

V F F V V V F

b. p ∨ (¬q ∧ t ∧ r) Falso

p q r t ¬q t∧r ¬q ∧ t ∧ r p ∨ (¬q ∧ t ∧ r)

V F F V V F F F
c. (¬p ∨ ¬(q ∨ r)) ∧ s Verdadero

p q r s ¬p q∨r ¬(q ∨ r)) (¬p ∨ ¬(q ∨ r) (¬p ∨ ¬(q ∨ r)) ∧ s

V F F V F F V V V

d. ((¬r ∧ p) ∧ ¬(¬q ∧ (s ∨ t))) Falso

p q r s t s∨t ¬q ¬(¬q ∧ (s ∨ ¬r ¬r ∧ p ((¬r ∧ p) ∧

t)) ¬(¬q ∧ (s ∨
t)))

V F F V V V V F V V F

e. ((p ∨ ¬p) ∧ (q ∨ ¬(t ∧ r))) Verdadero

p q r t ¬p ¬(t ∧ r) (p ∨ ¬p) q ∨ ¬(t ∧ r) ((p ∨ ¬p) ∧ (q ∨ ¬(t ∧ r)))

V F F V F V V V V

f. ((r ∧ ¬r) ∨ (¬s ∧ (¬t ∨ r))) Falso

r s t ¬r ¬s ¬t ¬t ∨ r r ∧ ¬r (¬s ∧ (¬t ∨ r)) ((r ∧ ¬r) ∨ (¬s ∧ (¬t ∨ r)))

F V V V F F F F F F

Aplicando las leyes del álgebra proposicional, simplificar las siguientes

proposiciones algebraicas y verificar aplicando las tablas de verdad.

1) ¬ ( ( (¬p) v (¬q)) v ¬q) =

¬ (¬ (p ∧ q) v ¬q)
p∧qvq
p∧q
p q ¬p ¬q (¬p) v (¬q) ( (¬p) v (¬q)) v ¬q ¬ ( ( (¬p) v (¬q)) v ¬q p˄q
V V F F F F V V
V F F V V V F F
F V V F V V F F
F F V V V V F F
2) ¬ (p =>t) v ( ( r ∧ ¬q) v (p =>t))
(p ˅ ¬ t) v ( ( r ∧ ¬q) v (¬p ∧ t))

1 2
p q r t ¬q ( r ∧ ¬q) p =>t ¬ (p =>t) ( r ∧ ¬q) v (p =>t) 1v2
V V V V F F V F V V
V V V F F F F V F V
V V F V F F V F V V
V V F F F F F V F V
V F V V V V V F V V
V F V F V V F V V V
V F F V V F V F V V
V F F F V F F V F V
F V V V F F V F V V
F V V F F F V F V V
F V F V F F V F V V
F V F F F F V F V V
F F V V V V V F V V
F F V F V V V F V V
F F F V V F V F V V
F F F F V F V F V V

1 2
p q r t ¬t ¬p ¬q r ∧ ¬q (¬p ∧ t)) p ˅ ¬t ( r ∧ ¬q) v (¬p ∧ t) 1v2
V V V V F F F F F V F V
V V V F V F F F F V F V
V V F V F F F F F V F V
V V F F V F F F F V F V
V F V V F F V V F V V V
V F V F V F V V F V V V
V F F V F F V F F V F V
V F F F V F V F F V F V
F V V V F V F F V F V V
F V V F V V F F F V F V
F V F V F V F F V F V V
F V F F V V F F F V F V
F F V V F V V V V F V V
F F V F V V V V F V V V
F F F V F V V F V F V V
F F F F V V V F F V V V
3) (¬q =>p) (p=>q) =
(¬(¬q) v p) (¬p v q)
(q ˅ p) (¬p v q)
(q ˅ q) (¬p v p)
qV
q

p q ¬q (¬q =>p) p=>q (¬q =>p) (p=>q) q

V V F V V V V
V F V V F F F
F V F V V V V
F F V F V F F

4) p ∧ ( p ∧ ( r=> t))=
p ∧ ( ¬r ˅ t)

p r t r=> t p ∧ ( r=> t) p ∧ ( p ∧ ( r=> t)) ¬r ( ¬r ˅ t) p ∧ ( ¬r ˅ t)

V V V V V V F V V
V V F F F F F F F
V F V V V V V V V
V F F V V V V V V
F V V V F F F V F
F V F F F F F F F
F F V V F F V V F
F F F V F F V V F

5) ¬q v ( ¬q v ( p r)) =
( ¬q v ( p r))

p q r ¬q p r ( ¬q v ( p r) ¬q v ( ¬q v ( p r)) ( ¬q v ( p r))
V V V F V V V V
V V F F F F F F
V F V V V V V V
V F F V F V V V
F V V F F F F F
F V F F V V V V
F F V V F V V V
F F F V V V V V