Esperanto Lingvoj Fakoj ktp.
MAT

necesa kondiĉo

vidu

→ implico 2

→ nur se