Esperanto Lingvoj Fakoj ktp.

propozicio 2.a

vidu

→ disjunkcio

→ ekskluziva disjunkcio

→ ekvivalento 3

→ implico 2

→ konjunkcio 2

→ logika operacio

→ matematika logiko

→ negacio 2

→ nur se

→ predikato 2

→ pruvi 3

→ se 2

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