Source: https://download.paulk.fr/cours/si/Logique 3.pdf