Una paradoja probabilística

Se arroja al azar un dado equilibrado de 6 caras. ¿Cuál es la probabilidad de que "si sale un 7 entonces sale un número par"?

Se trata de una probabilidad condicional que se calcula así:

Pero por otra parte, la afirmación "si sale un 7 entonces sale un número par" es verdadera porque es una implicación con antecedente falso; como es segura, porque es una verdad lógica, entonces su probabilidad es 1 (es como preguntarse cuál es la probabilidad de que 2 + 2 sea 4).

Por lo tanto: