Source: https://perso.liris.cnrs.fr/marie.lefevre/ens/BIA/Cours_Logique_Christophe_Roland.pdf