Translation of "логически" in French

Распространённый способ доказательства математических утверждений — это доказательство от противного. Начинают с утверждения, логически противоположного тому, которое требуется доказать, и приводят его к абсурду.

Une manière fréquente de démontrer une proposition mathématique est le raisonnement par l'absurde. On part de l'inverse logique de la proposition à démontrer et on le conduit jusqu'à l'absurde.