https://123dok.net/document/y964wxgj-cours-de-logique.html