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