Taller de lógica y algoritmo.

Nombre: ________________________________________ Fecha: _________________

1. Indique cuál de las siguientes listas de símbolos corresponden a enunciados

correctamente escritos:

2. Elimine todos los paréntesis innecesarios.

3. Reescriba los enunciados con paréntesis para indicar las prioridades de las conectivas

4. Identifique los átomos y formalice los enunciados siguientes:

a) Si como demasiado o me tomo un café, no puedo dormir.
b) Siempre que la vajilla china de porcelana se lava con agua demasiado caliente se
rompen un par de platos.
c) Si haces los deberes, no te castigan; y si no los haces, sí te castigan.
d) Cuando voy a la playa, leo el diario o me baño,
pero no las dos cosas.

5. Identifique los átomos y formalice los enunciados siguientes:

a) Cuando llueve y hace sol, sale el arco iris y estoy contento.
b) Si cuando llueve hace sol, entonces sale el arco iris y estoy contento.
c) Cuando llueve y sale el arco iris, estoy contento si hace sol.
d) Llueve, hace sol, sale el arco iris y estoy contento.
e) Cuando no llueve, no sale el arco iris y no estoy contento si no hace sol.
f) Cuando no llueve no sale el arco iris, y no estoy contento si no hace sol.
g) Sale el arco iris cuando llueve, si hace sol.
h) Estoy contento cuando sale el arco iris, siempre que cuando llueve hace sol.