Еквивалентност , наричана още еквивалентност на предложенията , в логиката и математиката, формирането на предложение от две други, които са свързани с фразата „ако и само ако“. Еквивалентността, формирана от две твърдения p и q, също може да бъде дефинирана от твърдението „ p е необходимо и достатъчно условие за q. ”
