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