Esperanto Lingvoj Fakoj ktp.
MAT

implikacio

speco de

↗ logika operacio

sinonimoj

⇒ implico 2