Pronađeno 1 rezultata za: "univerzalni kvantifikator"
kvantifikator koji primjenom na predikat tvrdi da je za sve vrijednosti varijable pripadna izjava istinita
matematika