ACTIVIDAD DISEÑO DE ALGORITMOS 1 Adelanto
ACTIVIDAD DISEÑO DE ALGORITMOS 1 Adelanto
ACTIVIDAD DISEÑO DE ALGORITMOS 1 Adelanto
Actividad de aprendizaje
DISEÑO DE
ALGORTIMOS I
Actividad de aprendizaje
1
DISEÑO DE ALGORTIMOS I
Actividad de aprendizaje
a) (p^ ¬ p) → q
F F V F V
F V V F V
V F F F V
V V F F V
Es una tabla tautológica porque todas sus proposiciones son verdaderas.
b) p↔(pvq)
p q (pvq) (p↔((pvq)))
F F F V
F V V F
V F V V
V V V V
c) (p ^ ¬ r) ↔ (q ^¬q)
3. Usa tablas de verdad para demostrar las equivalencias siguientes.
a) p q (~q) (~p)
b) p q (~p) q
c) (p ~p) (q ~q)
4. Muestre que el siguiente razonamiento no es correcto (escriba el
razonamiento en lenguaje proposicional y compruébelo mediante tablas de
verdad:
Si llueve Juan se queda en casa. Si Juan tiene tareas se queda en casa.
Juan se quedó en casa. Entonces, Juan tiene tareas o está lloviendo.