Die logische Äquivalenz ist eine metasprachliche, meist natürlichsprachlich formulierte Eigenschaft zweier Aussagen der logischen Sprache.
diː lˈoːɡɪʃə ˌɛːkviːvalˈɛnts ɪst ˌaɪnə mˈeːtaʃpɾˌɑːxlɪçə, mˈaɪst nɑːtˈyɾlɪkspɾˌɑːxlɪç fˌɔɾmuːlˈiːɾtə ˈaɪɡənʃˌaft tsvˈaɪɜ ˈaʊszˌɑːɡən dɛɾ lˈoːɡɪʃən ʃpɾˈɑːxə.