Source: https://physique-et-maths.fr/enseignement/licence1/mathematiques/logique_raisonnement/logique_raisonnement_fiche_cours.pdf