1 - Proposition vraie ou fausse Une proposition est une phrase qui peut être vraie ou fausse . Exemples: "4 est un nombre pair" est une proposition vraie "7 est un nombre pair" est une proposition fausse "x = 2y" est vraie pour x = 4 et y = 2 mais fausse pour x = 5 et y = 1 (Ici la proposition dépend de différentes variables) 2 - Négation d'une proposition La négation d'une proposition est la proposition affirmant le "contraire". La négation d'une proposition A est fausse quand A est vraie (et inversement). Exemple : La négation de "x > 3" est "x ≤ 3" Remarque : Dans la notation ensembliste, la négation de A est associé au complémentaire de A. 3 - Le ET et le OU logiques "A ET B" est vraie si A et B sont toutes les deux vraies. D'un point de vue ensembliste, le connecteur ET correspond à l' intersection (notée ∩) "x ∈ A ET x ∈ B" signifie "x ∈ A...