ekvivalentùmas, logikoje įvairūs išraiškų lygybės variantai. Išraiškos gali sutapti turiniu, reikšme, galimybėmis. Dvi išraiškos vadinamos ekvivalenčiomis, jei jų teisingumo reikšmė vienoda, jei tarp jų yra abipusiškai vienareikšmė atitiktis (p→q ir q→p). Ekvivalentumui išreikšti vartojamas žodžių derinys jei ir tik jei…, tai…
314