On redéfinit l'injectivité

Dans cette vidéo, on parle de la preuve de l'équivalence entre deux propositions P1 et P2, où P2 est l'injectivité de la fonction f. La question est de trouver la négation des deux propositions avec des quantificateurs, pour prouver que non P1 est équivalent à non P2. Pour cela, il est conseillé de traduire les propositions en français avant de les traduire en quantificateurs et de prendre la négation. Ensuite, la video nous guide à travers les étapes pour prouver les deux sens de cette équivalence, en utilisant la négation des propositions. Finalement, la preuve montre que P1 et P2 sont équivalentes.