"Non Q" n'implique pas "non P"

En mathématiques, si P implique Q alors "non Q" implique "non P"
Alors si "Je t'aime" implique "J'ai envie de te voir", on peut en déduire : si "Je n'ai pas envie envie de te voir" alors c'est que "Je ne t'aime pas". Sauf dans la logique masculine qui fait mentir les mathématiques. Mais pour une fois, la logique masculine ne devrait pas être balayée d'un simple revers de main et la déduction "Je n'ai pas envie envie de te voir" donc "Je ne t'aime pas" n'est sans doute pas si évidente dans la vraie vie. Si cette déduction est fausse, ça adoucit les moeurs!
A réfléchir donc