Äquivalenz (Logik)

Äquivalenz ist eine logische Relation zwischen zwei Aussagen, Prädikaten, Sätzen u. a., die vorliegt, wenn für beide wechselseitig die logische Ableitung auseinander möglich ist.