Логичка еквиваленција
У логици, једначине и неједначине p и q су међусобно еквивалентне (лат. aeque—једнако) ако имају исти скуп решења. Другим речима, кад се за два израза каже да су еквивалентни, значи да из једног израза следи други и обрнуто. Еквиваленција се може записати на следеће начине: p ⇔ q, p ≡ q или Epq. Исти симболи се користе за приказивање еквивалентних матрица.

Види још 
Логички бикондиционал
Логична једнакост
Ако и само ако

Литература 
 Elliot Mendelson, Introduction to Mathematical Logic, second edition, 1979.

Математичка логика
Металогика
У логици , једначине и неједначине p и q су међусобно еквивалентне ( лат. aeque—једнако ) ако имају исти скуп решења . Другим речима , кад се за два израза каже да су еквивалентни , значи да из једног израза следи други и обрнуто . Еквиваленција се може записати на следеће начине : p ⇔ q , p ≡ q или Epq . Исти симболи се користе за приказивање еквивалентних матрица . Види још Логички бикондиционал Логична једнакост Ако и само ако Литература Elliot Mendelson , Introduction to Mathematical Logic , second edition , Математичка логика Металогика