Source: https://thalesm.hmalherbe.fr/gestclasse/documents/cinquieme/cours/cours_raisonnement_deductif.pdf