EKVIVALENCA je izjava oblike A
B (beremo: "izjava A velja natanko tedaj, ko velja izjava B" oz. "izjava A velja, če in samo če velja izjava B").
Ekvivalneca je pravilna, če imata izjavi A in B enako logično vrednost (če sta obe pravilni ali obe nepravilni). Ekvivalenca je nepravilna, če imata izjavi A in B različno logično vrednost.
Dopolni pravilnostno tabelo za ekvivalenco:
| A | B | A <=> B |
| p | p | |
| p | n | |
| n | p | |
| n | n |
Pri ekvivalenci je A (B) potrebni in zadostni pogoj za B (A).

