Équivalence logique

L’équivalence logique est un type de relation entre deux déclarations ou phrases en logique propositionnelle ou en algèbre de Boole. La relation se traduit verbalement par « si et seulement si » et est symbolisée par une double flèche à double trait pointant vers la gauche et la droite ( ). Si A et B représentent des … Lire la suite