Primer 1: Dokazati da: x ≤ y = ⇒−x ≥−y x ≤ y ( A 4) = ⇒∃ ( −x ) : x ≤ y/ + ( −x ) (...

Prikazani su svi rezultati za ovaj upit.

Rezultati pretrage za: Armstrongove aksiome