Equivalenza , chiamata anche equivalenza di proposizioni , in logica e matematica, la formazione di una proposizione da altre due che sono collegate dalla frase "se e solo se". L'equivalenza formata da due proposizioni p e q può anche essere definita dall'affermazione “ p è una condizione necessaria e sufficiente per q. "
