Source: https://www.ceremade.dauphine.fr/~viossat/PDFs/algebre1/2009-10/logique-2009-10.pdf