Esperanto Lingvoj Fakoj ktp.
MAT

ekvivalento 3

speco de

↗ logika operacio

sinonimoj

⇒ duobla implico

vidu

→ propozicio 2.a

→ se kaj nur se se... kaj nur tiam