P : “Deus ajuda quem cedo madruga.”

Indicam-se, respectivamente, por X, Y e Z os conjuntos das pessoas para as quais são verdadeiras as afirmações “Deus ajuda essa pessoa”, “essa pessoa cedo madruga” e a afirmação presente em P, sendo os referidos conjuntos supostamente não vazios, e indica-se por CWS o complementar de S em W.