1. Pour prouver par contraposée que P implique Q, quelle implication doit-on établir ?
La négation de Q implique la négation de P.
Explication
La contraposée de P implique Q est la proposition selon laquelle non-Q implique non-P, et elle est équivalente à l’implication initiale. L’implication Q implique P est la réciproque, pas la contraposée.