Esperanto Lingvoj Fakoj ktp.
MAT

kontraŭpozicio

vidu

→ implico 2