Esperanto Lingvoj Fakoj ktp.
MAT

ambaŭdirekta implikacio

sinonimoj

⇒ duobla implico