Ahora bien, la afirmación "todos los cuervos son negros" es equivalente en lógica a la afirmación "todas las cosas no-negras son no-cuervos".