![obrazekS1](Vzorce/Symboly/obrazek1.PNG) | číslo je menší než číslo ![obrazekSb](Vzorce/Symboly/b.PNG) |
![obrazekS2](Vzorce/Symboly/obrazek2.PNG) | číslo je menší nebo rovno číslu ![obrazekSb](Vzorce/Symboly/b.PNG) |
![obrazekS3](Vzorce/Symboly/obrazek3.PNG) | číslo je větší než číslo ![obrazekSb](Vzorce/Symboly/b.PNG) |
![obrazekS4](Vzorce/Symboly/obrazek4.PNG) | číslo je větší nebo rovno číslu ![obrazekSb](Vzorce/Symboly/b.PNG) |
![obrazekS5](Vzorce/Symboly/obrazek5.PNG) | číslo je prvkem množiny ![obrazekS6](Vzorce/Symboly/obrazek6.PNG) |
![obrazekS7](Vzorce/Symboly/obrazek7.PNG) | obor přirozených čísel, množina přirozených čísel |
![obrazekS8](Vzorce/Symboly/obrazek8.PNG) | obor celých čísel, množina celých čísel |
![obrazekS9](Vzorce/Symboly/obrazek9.PNG) | obor racionálních čísel, množina racionálních čísel |
![obrazekS10](Vzorce/Symboly/obrazek10.PNG) | obor reálných čísel, množina reálných čísel |
![obrazekS11](Vzorce/Symboly/obrazek11.PNG) | absolutní hodnota čísla ![obrazekSa](Vzorce/Symboly/a.PNG) |
![obrazekS12](Vzorce/Symboly/obrazek12.PNG) | obecný kvantifikátor, čteme pro všechna![obrazekSuh](Vzorce/Symboly/uvoz_h.PNG) |
![obrazekS13](Vzorce/Symboly/obrazek13.PNG) | existenční kvantifikátor, čteme existuje![obrazekSuh](Vzorce/Symboly/uvoz_h.PNG) |
![obrazekS14](Vzorce/Symboly/obrazek14.PNG) | konjunkce, čteme ![obrazekSud](Vzorce/Symboly/uvoz_d.PNG) a zároveň ![obrazekSb](Vzorce/Symboly/b.PNG) ![obrazekSuh](Vzorce/Symboly/uvoz_h.PNG) |
![obrazekS15](Vzorce/Symboly/obrazek15.PNG) | disjunkce, čteme ![obrazekSud](Vzorce/Symboly/uvoz_d.PNG) nebo ![obrazekSb](Vzorce/Symboly/b.PNG) ![obrazekSuh](Vzorce/Symboly/uvoz_h.PNG) |
![obrazekS16](Vzorce/Symboly/obrazek16.PNG) | číslo je prvkem oboru reálných čísel a zároveň se nerovná ![obrazekS17](Vzorce/Symboly/obrazek17.PNG) |
![obrazekS18](Vzorce/Symboly/obrazek18.PNG) | číslo je prvkem oboru reálných čísel a zároveň je menší než ![obrazekS19](Vzorce/Symboly/obrazek19.PNG) |