///
Um médico veterinário precisa organizar um protocolo de vacinação para um canil com 120 cães. Ele observou que os animais podem ser classificados em 3 conjuntos: A (cães que precisam da vacina antirrábica), B (cães que precisam da vacina contra parvovirose) e C (cães que precisam da vacina contra leptospirose). Sabe-se que: 70 cães pertencem ao conjunto A; 65 cães pertencem ao conjunto B; 55 cães pertencem ao conjunto C; 30 cães pertencem simultaneamente aos conjuntos A e B; 25 cães pertencem simultaneamente aos conjuntos A e C; 20 cães pertencem simultaneamente aos conjuntos B e C; e 10 cães pertencem simultaneamente aos três conjuntos.
A negação da afirmação “Todo cão que precisa da vacina A também precisa da vacina B” é logicamente equivalente a “Existe pelo menos um cão que precisa da vacina A e não precisa da vacina B”.