Es hora de practicar lo que hemos aprendido sobre la disyunción, en las páginas previas:
-
- p: "La catedral de León es gótica."
- q: "La Luna no es esférica."
- p∨q:
-
- p: "La Luna es mayor que el Sol."
- q: "No es cierto que el Sol sea mayor que la Luna"
- p∨¬q:
-
- p: "Voy al cine"
- q: "Voy al teatro"
- ¬q∨¬p:
-
- p: "El sentido común no busca la paz"
- q: "La guerra es propia de locos"
- ¬(p∨q):