Raisonner par contraposée

Dans ce cours sur la démonstration par la contraposée, Paul explique comment démontrer une proposition en utilisant sa contraposée qui consiste à inverser la relation et les termes. Pour illustrer cela, il prend l'exemple de la proposition suivante: si n² est impair, alors n est impair. En utilisant la contraposée, il dit que si n est pair, alors n² est pair. Ensuite, il démontre cette contraposée en expliquant qu'un nombre pair peut être représenté comme 2p et donc n² sera égal à 2 facteurs de 2p², ce qui est pair. Il conclut en expliquant que quand la contraposée est plus facile à démontrer, on peut l'utiliser pour démontrer la proposition initiale.