Question

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

1. Llueve

2. Llueve detrás de las ventanas de mi casa

3. Llueve torrencialmente en toda España.

4. No llovió ayer

5. Los meteorólogos no se equivocan nunca

6. Si llueve o nieva, entonces no es cierto que los meteorólogos no se equivoca nunca y que la televisión da buenos pronósticos del tiempo.

7. Llueve y me mojo

8. Los meteorólogos no se equivocan nunca y hoy llueve en Andalucía

9. No es cierto que llueva y me moje

10. Llueve o nieva y a nadie le importa.

11. Si llueve entonces habrá buena cosecha.

12. Veo la lluvia cae
13. Llueve, nieva y graniza.
14. Habrá buena cosecha si nieva.
15. Si no es cierto que llueva y me moje, entonces los meteorólogos no se equivocan nunca.
16. Si aprendes bien la lógica seré feliz.
17. Si no es cierto que apruebe el curso y saque un sobresaliente en lógica, entonces esto no tiene sentido.
18. Si y solo si llueve, entonces iremos al cine o a bailar
19. Seré feliz si aprendes bien la lógica
20. Llueve, nieva o graniza
21. No llueve, pero nieva.
22. Si no llueve y no nieva entonces o hace sol o hay niebla.
23. No es cierto que si llueve y me mojo, entonces me resfriaré.
24. Normalmente las proposiciones unidas con comas son copulativas.
25. No llueve o me mojo.
26. Si nieva y hace sol, podremos esquiar magníficamente.
27. Juan y Pedro esquían cuando nieva.
28. Juan esquía si y sólo si hay nieve.
29. Si Pedro va al cine o Juan al teatro, entonces llamaremos a un taxi.
30. Esto es todo por ahora.

Answer 1

Respuesta: mejor tarde que nunca

1. Llueve. = P

2. Llueve torrencialmente en toda Colombia.  = P

3. No llovió ayer   = -p

4. Los meteorólogos no se equivocan nunca. = -P

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. = Pq→-(rT)

6. Llueve y me mojo = pq

7. Los meteorólogos no se equivocan nunca y hoy llueve en Andalucía. = -PQ

8. No es cierto que llueva y me moje = -(pq)

9. Llueve o nieva y a nadie le importa. =  (pq) -r

10. Si llueve entonces habrá buena cosecha. = p→q

11. Veo la lluvia caer = p

12. Llueve, nieva y graniza. = pqs

13. Habrá buena cosecha si nieva.  = p→q

14. Si no es cierto que llueva y me moje, entonces los meteorólogos no se equivocan nunca. =

-(pq) → -s

15. Si aprendes bien la lógica seré feliz. = p→q

16. Si no es cierto que apruebe el curso y saque un sobresaliente en lógica, entonces esto no tiene sentido. –(pq) →-s

17. Si y solo si llueve, entonces iremos al cine o a bailar P↔QR

18. Seré feliz si aprendes bien la lógica p→q

19. Llueve, nieva o graniza pqr

20. No llueve, pero nieva. -pq

21. Si no llueve y no nieva entonces o hace sol o hay niebla. (-p-q) →(rs)

22. No es cierto que si llueve y me mojo, entonces me resfriaré. –( pq) →r

23. Normalmente las proposiciones unidas con comas son copulativas. = p

24. No llueve o me mojo. = -p v q

25. Si nieva y hace sol, podremos esquiar magníficamente. (pq) →r

26. Juan y Pedro esquían cuando nieva. = pq

27. Juan esquía si y sólo si hay nieve. p↔q

28. Si Pedro va al cine o Juan al teatro, entonces llamaremos a un taxi. = (p v q) →r

29. Esto es todo por ahora.= p

Explicación paso a paso:

Teniendo en cuenta las leyes de formalización se divide cada proposición como un enunciado simple y afirmativo.