Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
2) ∼ (p →q) ↔ q
3) ∼ (p ∧ q) v ∼ q
4) ∼ (p ∧ q) ↔ (p v q)
5) ∼ (p →q) → (p v ∼q)
6) ∼ (p ↔ q) v (∼p ↔ ∼q)
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
2) ∼ [(∼p) ↔ q] ↔ (p → q)
3) ∼ [∼ (p v q) → ∼q] ↔ (p→ q)
4) [(∼p ∧ q) v ∼r] ↔ (∼p v r)
5) ∼ {(p ∧ ∼r) v [r ∧ (∼p v q)]} ↔ (r→ ∼q)
6) [∼p ∧ (q v ∼r)] ↔ [(∼p ∧ q) v ∼ (p v r)]
3. Dadas las siguientes proposiciones Indicar cuál (o cuáles) es una Contradicción utilizando
tablas de verdad
1) ∼ (p ∧ q) ↔ (p v ∼q)
2) ∼ (p →q) ↔ (p v ∼q)
3) ∼ (p ↔ q) ↔ (∼p ↔ ∼q)
4) ∼ {[(p → q) ∧ p] → q}
© Universidad Estatal de Milagro – UNEMI
1) (∼p ∧ ∼q) v ∼q
2) [(∼r v q) ∧ p] ↔ [(∼q v r) ∧ s]
3) (p → r) → [(p v q) ∧ ∼q]
1
Matemática 04 – Semana 2
1) (∼p v r) v s
2) [∼p v (q ∧ ∼r)] ↔ {(p → q) ∧ ∼ (q ∧ r)}
3) [(p → q) ∧ ∼ (q ∧ r)] ↔ [∼p v (q ∧ ∼r)]
1) ∼ [(p ∧ q) → r]
2) ∼ [∼ [∼ (q → r) → (s ∧ w)]]
3) ∼ [(r → x) ∧ ∼ (p ∧ q ∧ s)]