Paulo e sua esposa Maria são políticos e pretendem se candidatar a cargos eletivos nas próximas eleições. Em uma conversa em família, eles decidiram que:
< Maria se candidatará ao cargo de deputado estadual se, e somente se, Paulo não se candidatar ao cargo de deputado estadual;
< se Paulo não se candidatar ao cargo de deputado estadual, então ele se candidatará ao cargo de deputado federal ou senador;
< Paulo se candidatará ao cargo de senador se, e somente se, seu irmão o ajudar financeiramente na campanha eleitoral.

De acordo com essas decisões, se Paulo não se candidatar ao cargo de deputado estadual nem ao de senador, então, necessariamente,