Source: https://perso.univ-rennes1.fr/karim.bekka/ARA/Week by week/ARA-Partie 1- Logique.pdf