Universidad Internacional del Ecuador

ESCUELA DE CIENCIAS Y TECNOLOGÍAS APLICADAS

INGENIERIA MATEMATICA I

DEBER IM1_P01_D1

TEMA: ALGEBRA DE PROPOSICIONES

DIA DE ENTREGA: MARTES 28 DE SEPTIEMBRE DEL 2010

ENUNCIADOS

1. Sean p “hace frío” y q “está lloviendo”. Describir con un enunciado verbal las
siguientes aserciones:

1) ~p
2) p˄q
3) p˅q
4) q↔p
5) p → ~ q
6) q ˅ ~ p
7) ~ p ˄ ~ q
8) p ↔ ~ q
9) ~ ~ q
10) (p ˄ ~ q) → p

Solución: En cada caso, transcribir de acuerdo a la siguiente tabla

símbolo transcripción
˄ “y”
˅ “o”
~ “es falso que” o “no”
→ “si . . . entonces”
↔ “si y solo si”

2. Sean p “el es alto” y q “el es galán”. Escribir los siguientes enunciados en forma
simbólica con p y q.
1) El es alto y galán
2) El es alto pero no es galán
3) Es falso que él es bajo o galán
4) El no es ni alto ni galán
5) El es alto, o el es bajo y galán
6) No es verdad que él es bajo o que no es galán

TABLAS DE VERDAD

3. Hallar la tabla de verdad de cada proposición.

1) ~ p ˄ q
2) ~ (p → ~ q)
3) (p ˄ q) → (p ˅ q)
4) ~ (p ˄ q) ˅ ~ (q ↔ p)

4. Hallar la tabla de verdad de cada proposición.

 1) (p → q) ˅ ~ (p ↔ ~ q)
2) [p → ( ~ q ˅ r)] ˄ ~ [q ˅ (p ↔ ~ r)]

NEGACION

5. Verificar que las siguientes expresiones son lógicamente equivalentes:

1) ~(p ˄ q) ≡ ~ p ˅ ~ q (Ley de De Morgan)
2) ~(p ˅ q) ≡ ~ p ˄ ~ q (Ley de De Morgan)
3) ~(p → q) ≡ p ˄ ~ q
4) ~(p ↔ q) ≡ p ↔ ~ q ≡ ~ p ↔ q