He comenzado a estudiar "Cómo demostrarlo" de Daniel Velleman y necesito aclarar algunas cosas y asegurarme de que he obtenido las respuestas correctas antes de seguir adelante. Gracias.
Pregunta 6
Deje que S represente la afirmación "Steve está feliz" y G por "George está feliz". ¿Qué frases en inglés se representan mediante las siguientes expresiones:
(a) $(S\vee G) \wedge (\neg S \vee \neg G)$
(b) $[S \vee (G \wedge \neg S)] \vee \neg G$
(c) $S \vee [G \wedge (\neg S \vee \neg G)]$
(a) $(S\vee G) \wedge (\neg S \vee \neg G)$
Esto se traduce como:
O Steve o George están felices y Steve o George no están felices. Esto me parece muy mal redactado, ¿hay una mejor manera de expresar esto?
(b) $[S \vee (G \wedge \neg S)] \vee \neg G$
Esto se traduce como:
O Steve está feliz o George está feliz y Steve no está feliz, O George no está feliz.
(c) $S \vee [G \wedge (\neg S \vee \neg G)]$
Esto se traduce como:
O Steve está feliz O George está feliz y Steve no está feliz o George no está feliz.
Nuevamente, no entiendo muy bien cómo expresar esto, las declaraciones anidadas hacen las cosas difíciles para mí, si alguien pudiera aclararlo para mí, sería muy apreciado.
