ako su p i q iskazi, ekvivalencija je iskaz „p ekvivalentno sa q“ koji se označava sa p⇔q. Tačan je ako oba iskaza imaju istu istinitosnu vrednost, tj. ako su oba tačna ili oba netačna. Iskaz p⇔q se još čita kao: „p je potreban i dovoljan uslov za q“, „p ako i samo ako q“.