popište následující funkce slovy:

[ëx: x  N . x > 3 a x < 7]
[ëx: x  x: x je osoba} . x-ův otec]
[ëX: X  D . [ëy. y  D . y  X] ]

zjednodušte zápis funkce aplikací, dávejte pozor na pozici
argumentu, signalizuje, jaké funkce je argumentem:

[ëx: x  D . [ ëy: y  D . [ ëz: z  D . z představil y xovi]]]
(Maruška) (Petr)
[ëx: x  D . [ ëy: y  D . [ ëz: z  D . z představil y xovi]
(Maruška)] (Petr)]
[ëx: x  D . [ ëy: y  D . [ ëz: z  D . z představil y xovi]
(Maruška)]] (Petr)
[ëx: x  D . [ ëy: y  D . [ ëz: z  D . z představil y xovi]]
(Maruška)] (Petr)
[ëf: f  D<e,t> . [ ëx: x  D .  f(x) = 1 a x je šedé ]] ([ëy: y
D . y je kočka])
[ëf: f  D<e<e,t>> . [ëx  D . f(x)(Ann) = 1]] ([ëy: y  D . [ëz:
z  D . z vidělo y]])

Nahraďte otazník v následujících tvrzeních:

[ëf: f  D<e,t> . [ ëx: x  D .  f(x) = 1 a x je šedé ]]  D?
[ëf: f  D<e<e,t>> . [ëx  D . f(x)(Ann) = 1]]  D?
[ëy: y  D . [ëf: f  D<e,t> . [ ëx: x  D .  f(x) = 1 a x je_v
y]]  D?
[ëf: f  D<e,t> . existuje takové x  D, že f(x) = 1]  D?