Toto je starší verze dokumentu!
—-
pozice | |
unární predikát značící, že na pozici je písmeno a |
|
pozice je před | |
logické spojky | |
kvantifikace | |
+ rovnost |
pozice | |
unární predikát značící, že na pozici je písmeno a |
|
pozice je před | |
logické spojky | |
kvantifikace | |
množiny pozic | |
leží v | |
kvantifikace nad množinami pozic |
Proměnné ve formuli mohou být:
Sentence
Valuace přiřazuje hodnotu volným proměnným.