maths_2024/maths_discretes/cours/logique1.pdf