UNIVERSIDAD DE CARTAGENA CTEV MAGANGUÉ

FACULTAD DE: INGENIERÍA PROGRAMA: INGENIERIA DE SOFTWARE.

ASIGNATURA: MATEMÁTICAS DISCRETAS. SEMESTRE: 4° PERIODO: II DE 2021

1. Escriba la tabla de verdad de cada proposición dada.

a) (p∧q) → ¿p v q) b) (p∧q) ↔ (r ∧ p)

2. Suponiendo que p y r son falsas y que q y s son verdaderas, encuentre el valor de verdad para
cada proposición.

a) p → (q → r) b) (p →q) ∧ (q →r) c) (s → (p ∧ r)) ∧ ((p → (r ∨q)) ∧ s)

3. Para cada par de proposiciones P y Q, establezca si P≡Q o no (P y Q son lógicamente

equivalentes)

a) P = p ∧ (q ∨ r), Q = (p ∨ q) ∧ (p ∨ r)

b) P = p ∧ ( q ∨ r), Q = p ∨ (q ∧ r)

4. Demostrar la proposición indicada.

Demostrar C

1. A → B ˄ D P

2. B → D ˄ C P

3. A P

Demostrar M ˅ N

1. ¬ J → M ˅ N P

2. F ˄ G → ¬ J P

3. F ˄ G P
5. Si la enmienda no fue aprobada entonces la Constitución queda como estaba. Si la Constitución
queda como estaba entonces no podemos añadir nuevos miembros al comité. O podemos añadir
nuevos miembros al comité o el informe se retrasará un mes. Pero el informe no se retrasará un
mes. Por tanto la enmienda fue aprobada.

Sean

A = «La enmienda fue aprobada»

C = «La Constitución queda como estaba»

M = «Podemos añadir nuevos miembros al comité»

R = «E1 informe se retrasará un mes».