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