Source: https://webusers.imj-prg.fr/~francois.le-maitre/enseignements/1819/logique1erordre/TD1-corrige.pdf