Tarea número 1

Asignatura: Herramientas de lógica computacional

Profesor: Jose Manuel Chauta

Desarrolle los siguientes ejercicios, la solución debe ser entregada en clase de forma individual y
por escrito.

1. Dé 5 ejemplos de proposiciones compuestas en el lenguaje cotidiano, asigne una letra

para cada proposición elemental que la compone y escriba cada afirmación en lenguaje
formal, es decir con los símbolos ¬ ,→ ,etc.
2. Del libro Proofs and fundamentals, realice los siguientes ejercicios.
a. Ejercicio 1.2.3. Sea P = “Me gusta la fruta,” let Q = “No me
gusta el cereal” and R = “Yo sé cocinar un ommelete.”
Traduzca las siguientes proposiciones al lenguaje cotidiano.

3. Suponga que A es una proposición verdadera, B es una proposición verdadera y C es una

proposición falsa. ¿Cuáles de las siguientes proposiciones son verdaderas, cuáles falsas?
Justifique su respuesta.