Uloha zo skript

[Logic]

vedel by niekto sformulovat odpoved na toto(?):

Buď L jazyk s rovností, ϕ buď L-formule a 0 < n ∈ N.
Napište L-formule vyjadřující:
"existuje právě n prvků", "existuje méně než n prvků",
"existuje <> n prvků" s <> ∈ {<,<=,>,>=}.
"existuje právě n prvků x s vlastností ϕ(x, . . . )",
"prvků x s vlastností ϕ je <>n" s <> ∈ {<,<=,>,>=}.


je to uloha z materialov od pana Mlcka zo strany 24.