Formaliza en el lenguaje del cálculo de enunciados las siguientes oraciones del

lenguaje natural:

1. Llueve.
2. Llueve torrencialmente en toda Colombia.
3. No llovió ayer
4. Los meteorólogos no se equivocan nunca.
5. Si llueve o nieva, entonces no es cierto que los meteorólogos no se equivocan
nunca y que la televisión da buenos pronósticos del tiempo.
6. Llueve y me mojo
7. Los meteorólogos no se equivocan nunca y hoy llueve en Andalucía.
8. No es cierto que llueva y me moje
9. Llueve o nieva y a nadie le importa.
10. Si llueve entonces habrá buena cosecha.
11. Veo la lluvia caer
12. Llueve, nieva y graniza.
13. Habrá buena cosecha si nieva.
14. Si no es cierto que llueva y me moje, entonces los meteorólogos no se
equivocan nunca.
15. Si aprendes bien la lógica seré feliz.
16. Si no es cierto que apruebe el curso y saque un sobresaliente en lógica,
entonces esto no tiene sentido.
17. Si y solo si llueve, entonces iremos al cine o a bailar
18. Seré feliz si aprendes bien la lógica
19. Llueve, nieva o graniza
20. No llueve, pero nieva.
21. Si no llueve y no nieva entonces o hace sol o hay niebla.
22. No es cierto que si llueve y me mojo, entonces me resfriaré.
23. Normalmente las proposiciones unidas con comas son copulativas.
24. No llueve o me mojo.
25. Si nieva y hace sol, podremos esquiar magníficamente.
26. Juan y Pedro esquían cuando nieva.
27. Juan esquía si y sólo si hay nieve.
28. Si Pedro va al cine o Juan al teatro, entonces llamaremos a un taxi.
29. Esto es todo por ahora.