Equivalência , também chamada de equivalência de proposições , em lógica e matemática, a formação de uma proposição a partir de duas outras que estão ligadas pela frase "se, e somente se". A equivalência formada a partir de duas proposições p e q também pode ser definida pela afirmação “ p é uma condição necessária e suficiente para q. ”
