Hola, la condición necesaria 'natural' para la afirmación
es
. Asumo que es en ésta que pensaste.
Tomando cualquier afirmación necesaria de ésta última, por transitiva también lo será para la original. Por ejemplo:
. Con esto obtenés dos condiciones necesarias para
:
Convence?
Saludos