Si un logicien vous dit "si tu ne peux pas partir, tu es content", et que vous vous demandez ce que cela signifie, il est simplement en train de vous dire "si tu n'es pas content, tu peux partir", en remplaçant cette affirmation par sa contraposée (qui lui est censément équivalente).