https://123dok.net/document/zwv87v21-méthode-déduction-naturelle-logique-prédicats.html