Türkçe: mantıksal denklik
Açıklama: Mantıksal eşdeğerlik; iki önermenin aynı doğruluk değerlerine sahip olması