Source: https://math2de.free.fr/DM/RecapLogique/recap.pdf