Source: https://megarban.perso.math.cnrs.fr/MPSI220212022/TD/Exo_1_logique_raisonnements.pdf