Así, para mantener la puntuación en un juego de voleibol entre equiposA yB, puede ser útil definir variables proposicionalesp yq, dondep es cierto si el equipoA está sirviendo ...Así, para mantener la puntuación en un juego de voleibol entre equiposA yB, puede ser útil definir variables proposicionalesp yq, dondep es cierto si el equipoA está sirviendo (de ahí falso si el equipoB está sirviendo); yq es cierto si equipoA gana la volea actual (de ahí falso si el equipo laB gana).