Matemática 04 – Semana 2

Anexo 1- Tarea
TAREA SOBRE CALCULO PROPOSICIONAL
Nota: Cada uno de los ejercicios tienen un valor de 1 punto a la solución correcta, el
estudiante debe generar la respectiva justificación (resolución del ejercicio propuesto)

1. Dadas las siguientes proposiciones: Indicar cuál (o cuáles) es una Contingencia utilizando
tablas de verdad

1) (p ∧ q) v ∼ p

p q (p ∧ q) v ∼ p
0 0 0 0 0 1 1 0
0 1 0 0 1 1 1 0
1 0 1 0 0 0 0 1
1 1 1 1 1 1 0 1
Pasos 1 2 1 R 2 1

Si es Contingencia.
2) ∼ (p →q) ↔ q

p q ∼ (p → q) ↔ q
0 0 0 0 1 0 1 0
0 1 0 0 1 1 0 1
1 0 1 1 0 0 0 0
1 1 0 1 1 1 0 1
Pasos 3 1 2 1 R 1

Si es Contingencia.
3) ∼ (p ∧ q) v ∼ q
© Universidad Estatal de Milagro – UNEMI

p q ∼ (p ∧ q) v ∼ q
0 0 1 0 0 0 1 1 0
0 1 1 0 0 1 1 0 1
1 0 1 1 0 0 1 1 0
1 1 0 1 1 1 0 0 1
Pasos 3 1 2 1 R 2 1

Si es Contingencia.

1
 Matemática 04 – Semana 2

4) ∼ (p ∧ q) ↔ (p v q)

p q ∼ (p ∧ q) ↔ (p v q)
0 0 1 0 0 0 0 0 0 0
0 1 1 0 0 1 1 0 1 1
1 0 1 1 0 0 1 1 1 0
1 1 0 1 1 1 0 1 1 1
Pasos 3 1 2 1 R 1 2 1

Si es Contingencia.

5) ∼ (p →q) → (p v ∼q)

p q ∼ (p → q) → (p v ∼ q)
0 0 0 0 1 0 1 0 1 1 0
0 1 0 0 1 1 1 0 0 0 1
1 0 1 1 0 0 1 1 1 1 0
1 1 0 1 1 1 1 1 1 0 1
Pasos 3 1 2 1 R 1 3 2 1

No es Contingencia.

6) ∼ (p ↔ q) v (∼p ↔ ∼q)

p q ∼ (p ↔ q) v (∼ p ↔ ∼ q)
0 0 0 0 1 0 1 1 0 1 1 0
0 1 1 0 0 1 1 1 0 0 0 1
1 0 1 1 0 0 1 0 1 0 1 0
1 1 0 1 1 1 1 0 1 1 0 1
© Universidad Estatal de Milagro – UNEMI

Pasos 3 1 2 1 R 2 1 3 2 1

No es Contingencia.

2
 Matemática 04 – Semana 2

2. Dadas las siguientes proposiciones Indicar cuál (o cuáles) es una Tautología utilizando
tablas de verdad

1) [(p v ∼q) ∧ q] → p

p q [(p v ∼ q) ∧ q] → p
0 0 0 1 1 0 0 0 1 0
0 1 0 0 0 1 0 1 1 0
1 0 1 1 1 0 0 0 1 1
1 1 1 1 0 1 1 1 1 1
Pasos 1 3 2 1 4 1 R 1

Es una Tautología.

2) ∼ [(∼p) ↔ q] ↔ (p → q)

p q ∼ [(∼ p) ↔ q] ↔ (p → q)
0 0 1 1 0 0 0 1 0 1 0
0 1 0 1 0 1 1 0 0 1 1
1 0 0 0 1 1 0 1 1 0 0
1 1 1 0 1 0 1 1 1 1 1
Pasos 4 2 1 3 1 R 1 2 1

No es una tautología.

3) ∼ [∼ (p v q) → ∼q] ↔ (p→ q)

p q ∼ [∼ (p v q) → ∼ q] ↔ (p → q)
0 0 0 1 0 0 0 1 1 0 0 0 1 0
0 1 0 0 0 1 1 1 0 1 0 0 1 1
1 0 0 0 1 1 0 1 1 0 1 1 0 0
1 1 0 0 1 1 1 1 0 1 0 1 1 1
Pasos 5 3 1 2 1 4 2 1 R 1 2 1

No es una tautología.
© Universidad Estatal de Milagro – UNEMI

3
 Matemática 04 – Semana 2

4) [(∼p ∧ q) v ∼r] ↔ (∼p v r)}

p q r [(∼ p ∧ q) v ∼ r] ↔ (∼ p v r)
0 0 0 1 0 0 0 1 1 0 1 1 0 1 0
0 0 1 1 0 0 0 0 0 1 0 1 0 1 1
0 1 0 1 0 1 1 1 1 0 1 1 0 1 0
0 1 1 1 0 1 1 1 0 1 1 1 0 1 1
1 0 0 0 1 0 0 1 1 0 0 0 1 0 0
1 0 1 0 1 0 0 0 0 1 0 0 1 1 1
1 1 0 0 1 0 1 1 1 0 0 0 1 0 0
1 1 1 0 1 0 1 0 0 1 0 0 1 1 1
Pasos 2 1 3 1 4 2 1 R 2 1 3 1

No es una tautología.

5) ∼ {(p ∧ ∼r) v [r ∧ (∼p v q)]} ↔ (r→ ∼q)

p q r ∼ {(p ∧ ∼ r) v [r ∧ (∼ p v q)]} ↔ (r → ∼ q)
0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0
0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 0
0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 1
0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 1
1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0
1 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0
1 1 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 1
1 1 1 0 1 0 0 1 1 1 1 0 1 1 1 1 1 0 0 1
Pasos 6 1 3 2 1 5 1 4 2 1 3 1 R 1 3 2 1

No es una tautología.

6) [∼p ∧ (q v ∼r)] ↔ [(∼p ∧ q) v ∼ (p v r)]

p q r [∼ p ∧ (q v ∼ r)] ↔ [(∼ p ∧ q) v ∼ (p v r)]

0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0
0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1
0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 1 1 0 0 0
© Universidad Estatal de Milagro – UNEMI

0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1
1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0
1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1
1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 0 1 1 0
1 1 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 1
Pasos 2 1 4 1 3 2 1 R 2 1 3 1 4 3 1 2 1

Si es una tautología.

3. Dadas las siguientes proposiciones Indicar cuál (o cuáles) es una Contradicción utilizando
tablas de verdad

4
 Matemática 04 – Semana 2

1) ∼ (p ∧ q) ↔ (p v ∼q)

p q ∼ (p ∧ q) ↔ (p v ∼ q)
0 0 1 0 0 0 1 0 1 1 0
0 1 1 0 0 1 0 0 0 0 1
1 0 1 1 0 0 1 1 1 1 0
1 1 0 1 1 1 0 1 1 0 1
Pasos 3 1 2 1 R 1 3 2 1

No es una contradicción.

2) ∼ (p →q) ↔ (p v ∼q)

p q ∼ (p → q) ↔ (p v ∼ q)
0 0 0 0 1 0 0 0 1 1 0
0 1 0 0 1 1 1 0 0 0 1
1 0 1 1 0 0 1 1 1 1 0
1 1 0 1 1 1 0 1 1 0 1
Pasos 3 1 2 1 R 1 3 2 1
No es una contradicción.

3) ∼ (p ↔ q) ↔ (∼p ↔ ∼q)

p q ∼ (p ↔ q) ↔ (∼ p ↔ ∼ q)
0 0 0 0 1 0 0 1 0 1 1 0
0 1 1 0 0 1 0 0 0 0 0 1
1 0 1 1 0 0 0 0 1 0 1 0
1 1 0 1 1 1 0 0 1 1 0 1
Pasos 3 1 2 1 R 2 1 3 2 1

Es una contradicción.

4) ∼ {[(p → q) ∧ p] → q}

p q ∼ {[(p → q) ∧ p] → q}
0 0 0 0 1 0 0 0 1 1
0 1 0 0 1 1 0 0 1 0
© Universidad Estatal de Milagro – UNEMI

1 0 0 1 0 0 0 1 1 0
1 1 0 1 1 1 1 1 1 1
Pasos R 1 2 1 3 1 4 1

Es una contradicción.

5
 Matemática 04 – Semana 2

4. Sabiendo que: [p → (q → r)] es falsa.

p q r
[p → (q → r)]
0 0 0
0 1 0 1 0
0 0 1
0 1 0 1 1
0 1 0
0 1 1 0 0
0 1 1
0 1 1 1 1
1 0 0
1 1 0 1 0
1 0 1
1 1 0 1 1
1 1 0
1 0 1 0 0 Solo en esta fila la proposición es falsa.
1 1 1
1 1 1 1 1
Pasos 1 R 1 2 1
Entonces, p=verdadero, q=verdadero y r=falso.

Halle el valor de la verdad de: [q → (p ∧ r)]

[Verdadero → (Verdadero ∧ Falso)] [1 → (1 ∧ 0)]

[Verdadero → Falso] [1 → 0]

Falso 0

El valor de verdad de la proposición [q → (p ∧ r)] es falsa.

5. De la falsedad de: (p → ∼q) v (∼r → s) deducir el valor de la verdad de:

p q r s (p → ∼ q) v (∼ r → s)
0 0 0 0 0 1 1 0 1 1 0 0 0
0 0 0 1 0 1 1 0 1 1 0 1 1
0 0 1 0 0 1 1 0 1 0 1 1 0
0 0 1 1 0 1 1 0 1 0 1 1 1
0 1 0 0 0 1 0 1 1 1 0 0 0
0 1 0 1 0 1 0 1 1 1 0 1 1
0 1 1 0 0 1 0 1 1 0 1 1 0
© Universidad Estatal de Milagro – UNEMI

0 1 1 1 0 1 0 1 1 0 1 1 1
1 0 0 0 1 1 1 0 1 1 0 0 0
1 0 0 1 1 1 1 0 1 1 0 1 1
1 0 1 0 1 1 1 0 1 0 1 1 0
1 0 1 1 1 1 1 0 1 0 1 1 1
1 1 0 0 1 0 0 1 0 1 0 0 0 Solo en esta fila la proposición es falsa.
1 1 0 1 1 0 0 1 1 1 0 1 1
1 1 1 0 1 0 0 1 1 0 1 1 0
1 1 1 1 1 0 0 1 1 0 1 1 1
Pasos 1 3 2 1 R 2 1 3 1

6
Matemática 04 – Semana 2

De la tabla de verdad verificamos que (p → ∼q) v (∼r → s) es falsa solo cuando:

p=1 ; q=1 ; r=0 ; s=0

1) (∼p ∧ ∼q) v ∼q

(∼1 ∧ ∼1) v ∼1

(0 ∧ 0) v 0

0v0

0
(∼p ∧ ∼q) v ∼q es falsa.

2) [(∼r v q) ∧ p] ↔ [(∼q v r) ∧ s]

[(∼0 v 1) ∧ 1] ↔ [(∼1 v 0) ∧ 0]
[(1 v 1) ∧ 1] ↔ [(0 v 0) ∧ 0]
[(1) ∧ 1] ↔ [(0) ∧ 0]
[1] ↔ [0]
0

[(∼r v q) ∧ p] ↔ [(∼q v r) ∧ s] es falsa.

3) (p → r) → [(p v q) ∧ ∼q]

(1 → 0) → [(1 v 1) ∧ ∼1]
(0) → [(1) ∧ 0]
(0) → 0
1

(p → r) → [(p v q) ∧ ∼q] es verdadera.

© Universidad Estatal de Milagro – UNEMI

7
Matemática 04 – Semana 2

6. Si se sabe que (p ∧ q) y (q → r) son falsas, ¿cuál de las siguientes Proposiciones son verdaderas?

p q (p ∧ q) q r (q → r)
0 0 0 0 0 0 0 0 1 0
0 1 0 0 1 0 1 0 1 1
1 0 1 0 0 1 0 1 0 0
1 1 1 1 1 1 1 1 1 1
Pasos 1 R 1 Pasos 1 R 1

(p ∧ q) es falsa en tres casos, pero (q → r) es falsa en solo un caso y es cuando q=1 y r=0.

Entonces para que (p ∧ q) sea falsa, sabiendo que q es verdadera, p debe ser falso.

P=0 q=1 r=0

Comprobando (1 → 0) = 0 (0 ∧ 1) = 0

1) (∼p v r) v s

(∼0 v 0) v s

(1 v0) v s

1 v s Por la ley del elemento Neutro

[(∼p v r) v s] es verdadera.

2) [∼p v (q ∧ ∼r)] ↔ {(p → q) ∧ ∼ (q ∧ r)}

[∼0 v (1 ∧ ∼0)] ↔ {(0 → 1) ∧ ∼ (1 ∧ 0)}

© Universidad Estatal de Milagro – UNEMI

[1 v (1 ∧ 1)] ↔ {(1) ∧ ∼ (0)}

[1 v 1] ↔ {1 ∧ 1}

1↔1

[∼p v (q ∧ ∼r)] ↔ {(p → q) ∧ ∼ (q ∧ r)} es verdadera.

8
Matemática 04 – Semana 2

3) [(p → q) ∧ ∼ (q ∧ r)] ↔ [∼p v (q ∧ ∼r)]

[(0 → 1) ∧ ∼ (1 ∧ 0)] ↔ [∼0 v (1 ∧ ∼0)]

[(1) ∧ ∼ (0)] ↔ [1 v (1 ∧ 1)]
[(1) ∧ 1] ↔ [1 v 1]
[1] ↔ [1]
1

[(p → q) ∧ ∼ (q ∧ r)] ↔ [∼p v (q ∧ ∼r)] es verdadera.

7. Si es verdadera la negación del siguiente esquema:

[(p ∧ q) → (r v s)], Deducir el valor de los siguientes esquemas Moleculares:

Nos dicen si es verdadera la negación de [(p ∧ q) → (r v s)], quiere decir que:

∼[(p ∧ q) → (r v s)] es verdadera, por lo tanto realizamos la tabla de verdad de esa proposición.

p q r s ∼ [(p ∧ q) → (r v s)]
0 0 0 0 0 0 0 0 1 0 0 0
0 0 0 1 0 0 0 0 1 0 1 1
0 0 1 0 0 0 0 0 1 1 1 0
0 0 1 1 0 0 0 0 1 1 1 1
0 1 0 0 0 0 0 1 1 0 0 0
0 1 0 1 0 0 0 1 1 0 1 1
0 1 1 0 0 0 0 1 1 1 1 0
0 1 1 1 0 0 0 1 1 1 1 1
1 0 0 0 0 1 0 0 1 0 0 0
1 0 0 1 0 1 0 0 1 0 1 1
1 0 1 0 0 1 0 0 1 1 1 0
1 0 1 1 0 1 0 0 1 1 1 1
1 1 0 0 1 1 1 1 0 0 0 0
1 1 0 1 0 1 1 1 1 0 1 1
© Universidad Estatal de Milagro – UNEMI

1 1 1 0 0 1 1 1 1 1 1 0
1 1 1 1 0 1 1 1 1 1 1 1
Pasos R 1 2 1 3 1 2 1

Entonces solo cuando p=1 q=1 r=0 y s=0 la proposición ∼ [(p ∧ q) → (r v s)] es verdadera.

9
Matemática 04 – Semana 2

1) ∼ [(p ∧ q) → r]

∼ [( 1 ∧ 1 ) → 0 ]
∼ [( 1 ) → 0 ]
∼[0]
1
∼ [(p ∧ q) → r] es verdadera.

2) ∼ [∼ [∼ (q → r) → (s ∧ w)]]

∼ [∼ [∼ (1 → 0) → (0 ∧ w)]] por la ley del elemento neutro cuando tenemos (0 ∧ w) es equivalente a 0

∼ [∼ [∼ (0) → (0)]]
∼ [∼ [ 1 → 0]]
∼ [∼ [ 0]]
∼ [1]
0

∼ [∼ [∼ (q → r) → (s ∧ w)]] es falsa.

3) ∼ [(r → x) ∧ ∼ (p ∧ q ∧ s)]

∼ [(0 → x) ∧ ∼ (1 ∧ 1 ∧ 0)]; tenemos que identificar que para cualquier valor de (0 → x) es verdadero, entonces:

∼ [(1) ∧ ∼ (0)]
∼ [(1) ∧ ∼ 1]
∼ [1∧1]
∼1
0
© Universidad Estatal de Milagro – UNEMI

∼ [(r → x) ∧ ∼ (p ∧ q ∧ s)] es falsa.

10
Matemática 04 – Semana 2

8. ¿Alguna de las siguientes proposiciones es una Tautología?

1) ∼ {[∼ (∼p ∧ q) v ∼q] ↔ (∼p v q)}}

p q ∼ {[∼ (∼ p ∧ q) v ∼ q] ↔ (∼ p v q)}
0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0
0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1
1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0
1 1 0 1 0 1 0 1 1 0 1 1 0 1 1 1
Pasos R 4 2 1 3 1 5 2 1 6 2 1 3 1

No es una tautología.

2) ∼ [∼ (p v ∼q) → ∼r] → [ ∼ (∼q→ ∼p) ]

p q r ∼ [∼ (p v ∼ q) → ∼ r] → [∼ (∼ q → ∼ p)]
0 0 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0
0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0
0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0
0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0
1 0 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1
1 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 0 0 1
1 1 0 0 0 1 1 0 1 1 1 0 1 0 0 1 1 0 1
1 1 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1
Pasos 6 4 1 3 2 1 5 2 1 R 4 2 1 3 2 1

No es una tautología.

Nota: A este ejercicio le falto el operador → por lo tanto se considera valida cualquier repuesta
debidamente justificada.

3) ∼ [(∼p) ↔ q] ↔ (p → q)
© Universidad Estatal de Milagro – UNEMI

p q ∼ [(∼ p) ↔ q] ↔ (p → q)
0 0 1 1 0 0 0 1 0 1 0
0 1 0 1 0 1 1 0 0 1 1
1 0 0 0 1 1 0 1 1 0 0
1 1 1 0 1 0 1 1 1 1 1
Pasos 4 2 1 3 1 R 1 2 1

No es una tautología.

11
Matemática 04 – Semana 2

4) ∼ {(∼p ∧ r) v [p ∧ (∼r v q)]} v (p→ ∼q)

p q r ∼ {(∼ p ∧ r) v [p ∧ (∼ r v q)]} v (p → ∼ q)
0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0
0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 1 1 0
0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1
0 1 1 0 1 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1
1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 0
1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 1 0
1 1 0 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 1
1 1 1 0 0 1 0 1 1 1 1 0 1 1 1 0 1 0 0 1
Pasos 6 2 1 3 1 5 1 4 2 1 3 1 R 1 3 2 1

No es una tautología.
© Universidad Estatal de Milagro – UNEMI

12