maths_2024/maths_discretes/cours/logique3.pdf