Équivalence , aussi appelée équivalence de propositions , en logique et en mathématiques, la formation d'une proposition à partir de deux autres qui sont liées par l'expression «si et seulement si». L'équivalence formée de deux propositions p et q peut également être définie par l'énoncé « p est une condition nécessaire et suffisante pour q. "
