Esperanto Lingvoj Fakoj ktp.
MAT

duobla implico

speco de

↗ logika operacio

difino

= ekvivalento 3

sinonimoj

⇒ ambaŭdirekta implikacio

⇒ ekvivalento 3