De um conjunto de dezoito cartas vermelhas (copas ou ouros) de um baralho, sabe-se que:
· pelo menos uma carta é de copas;
· dadas duas quaisquer dessas cartas, pelo menos uma delas é de ouros.
Sobre esse conjunto de dezoito cartas tem-se que