Esperanto Lingvoj Fakoj ktp.
MAT

nur se

vidu

→ implico 2

→ necesa kondiĉo

→ propozicio 2.a