forum.zadania.info

Zapisać symbolicznie używając kwantyfikatorów:
1. Istnieje co najmniej n elementów spełniających W(x)
2. Istnieje co najwyżej n elementów spełniających W(x)
2. Istnieje dokładnie n elementów spełniających W(x)

Można bez kwantyfikatorów :

vb_ pisze: 1. Istnieje co najmniej n elementów spełniających W(x)

\(A= \left\{x:\ \ \ \ W(x) \right\} \wedge \kre{ \kre{A} } \ge n\)

vb_ pisze:2. Istnieje co najwyżej n elementów spełniających W(x)

\(A= \left\{x:\ \ \ \ W(x) \right\} \wedge \kre{ \kre{A} } \le n\)

vb_ pisze:2. Istnieje dokładnie n elementów spełniających W(x)

\(A= \left\{x:\ \ \ \ W(x) \right\} \wedge \kre{ \kre{A} } = n\)