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
