Likvärdighet , även kallad ekvivalens av propositioner , i logik och matematik, bildandet av en proposition från två andra som är länkade med frasen "om, och bara om." Likvärdigheten bildad av två propositioner p och q kan också definieras av påståendet " p är ett nödvändigt och tillräckligt villkor för q. ”
