.svg)
játszótér
piros labda a szív:
lányok dobigálják, majd
elveszítik.
fiúk találják meg.
belerúgnak.
piros labda a szív:
fiúk rugdossák, majd
elveszítik.
lányok találják meg.
dobigálják.
elsőrendű logikai nyelv
Mindenki szeret valakit.
legyen most ez a példamondat.
Srt = {ember}
a függvény visszatérít
egy ember típusú változót.
Const = ∅
itt most semmi sem konstans.
∀
ez a minden.
∃
ez a létezik.
formálisan:
∀x ∃y S(x, y)
tehát bármely x-re létezik olyan y, amelyre S(x,y)
azazhogy szeret és
ezt felírva kevésbé formálisan:
∀valaki ∃másvalaki Szeret(valaki, másvalaki)
és a legkevésbé formálisan az a lényeg, hogy:
Mindenki szeret valakit.
régen
ez nálatok volt
otthon, hogy
kértem egy
törölközőt,
mert amikor hozzátok
megyünk, soha nem viszek,
te mondtad, hogy
nem kell
még a legelső ottlétem előtt.
nyúlok a törölköző
után, eszembe jut,
hogy aznap
valami miatt
bánatos voltál,
megint megbotlottál
magadban
vagy bennem,
és nem tudtalak
úgy igazán megvigasztalni.
csak illemből kacagtál,
hogy megnyugtass,
veled minden rendben.
aztán visszajöttünk
és minden ment tovább
meg utána el is
felejtettem,
hogy az valószínűleg
tényleg csak egy
teljesen egyszerű
alig kopott
kék törölköző.
nekem tenger.
egy lényegretörő szerelmes vers
haja ( ) volt
és szeme ( )
néha ( ) találkoztunk
( ) mosolya ( )
( ) () ( )
() kacagott () ( )
( ) () () ( )
() () ( )
( ) szája
( ) ( )
( ) ( ) ( )
füle ( )( )
orra ( )
( ) ( ) ( )
( ) () () ()
(szeretem)
