Syntax highlighting of NAIL062

# NAIL062 Výroková a predikátová logika

<{Box(infobox)}>
|K    |V    |
|-----|-----|
| Učitel | [doc. Mgr. Petr Gregor, Ph.D.](https://ktiml.mff.cuni.cz/~gregor/) |
<{/Box}>

## Poznámky
- [Pilátovy poznámky](https://github.com/martinpilat/logic-book/blob/master/main.pdf)