Esperanto Lingvoj Fakoj ktp.
MAT

implico 2

speco de

↗ logika operacio

sinonimoj

⇒ implikacio

vidu

→ kontraŭpozicio

→ necesa kondiĉo

→ nur se

→ propozicio 2.a

→ se 2

→ sufiĉa kondiĉo