Source: http://licence-math.univ-lyon1.fr/lib/exe/fetch.php?media=pmi:3._logique_et_raisonnement.pdf