Source: https://mathsaucap.pagesperso-orange.fr/mathsaucap/2nd_fichiers/logique/LogiqueConditionsNecessairesSuffisantes.pdf