Esperanto Lingvoj Fakoj ktp.
MAT

negacio 2

speco de

↗ logika operacio

vidu

→ propozicio 2.a