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

<{Box(infobox)}>
|-----|-----|
| **Stránka předmětu:** | [Web](https://jbulin.github.io/teaching/fall/nail062/) |
| **Učitel**         | [RNDr. Jakub Bulín, Ph.D.](https://jbulin.github.io/) |
| **Odkaz do SISu:** | [NAIL062](https://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NAIL062) |
| **Diskuze:**       | [Discord kanál](https://discord.com/channels/625428723302137876/760254026234331207) |
<{/Box}>

## Studijní materiály
### Poznámky
- [Bulínovy poznámky](https://raw.githubusercontent.com/jbulin-mff-uk/nail062/main/lecture/skripta/skripta.pdf) \[CZ\] – nejaktuálnější, oficiální
  - ![Verze bez Úvodu do logiky a se seznamem definic (prosinec 2025)](/NAIL062/skripta-vapl-lepsi.pdf)
  - ![Ta verze velikosti A5 (do čtečky)](/NAIL062/skripta-vapl-lepsi-a5.pdf)
  - ![Ta verze s vyznačenými částmi, které nejsou požadovány u zkoušky](/NAIL062/skripta-vapl-lepsi-highlight.pdf)
- [Pilátovy poznámky](https://github.com/martinpilat/logic-book/blob/master/main.pdf) \[EN\]
- [Poznámky Kuby Smolíka](https://couleslaw.github.io/mff-notes/03/Logika.pdf) - ručně psané
- ![Wlladerovy K-Mapy](/NAIL062/Wllader-k-map.pdf)
- <{Details(Starší matriály)}>
### Studijní materiál Mlček (2009-?) ##
- [Mlček materiály k přednášce](http://kti.mff.cuni.cz/%7Emlcek/) [požadavky ke zkoušce, celkem brutus](http://kti.mff.cuni.cz/%7Emlcek/EXAM.pdf)
- [zápisky Pilát cvika (2009)](http://zaantar.eu/index.php?page=Studijní+materiály)
- [zápisky Mlček cvika (2008)](http://www.martinvseticka.eu/index.php?sekce=browse&page=178)
- [zápisky,řešené příklady (2009)](http://www.marketa.najevisti.info/studium.php)
- [Gödelova věta lidsky](http://cs.wikipedia.org/wiki/Gödelovy_věty_o_neúplnosti)

### Studijní materiál Štěpánek (?-2009) ##
- [On-line výukové materiály](http://ktiml.ms.mff.cuni.cz/index.php?select=teaching&section=sources&lang=czech) - slajdy z přednášky, skripta
- [Stránky cvika Petr Olmer](http://kti.mff.cuni.cz/%7Eolmer/vyuka/log03.html) - příklady na procvičení
- [Studijní materiál na MUNI](http://is.muni.cz/el/1433/podzim2006/MA007/um/)
- [Matematická logika na ČVUT (Demlová)](http://math.feld.cvut.cz/demlova/teaching/mlo_vyuka.html)
- [Základní kurz logiky (MUNI)](http://www.phil.muni.cz/fil/logika/uvod.php)
- [Výcuc ze skript prof. Štěpánka](http://s0cketka.blogspot.com/2006/05/souhrn-z-logiky.html) (tahák, PDF)
- [Příklady](http://vpl.xf.cz/doku.php?id=start)
- [Evýuka](http://snug.ic.cz/index.htm)
<{/Details}>


<{AlertBox(caution, "Pozor - Neodpovídá požadavkům 2025/2026")}>
- vitkolos.cz – [poznámky](https://www.vitkolos.cz/node/view/notes-ipp/main/semestr3/vyrokova-predikatova-logika/zkouska.md) a [kartičky](https://www.vitkolos.cz/node/cards/notes-ipp/main/semestr3/vyrokova-predikatova-logika/zkouska.md) (2023/2024)
<{/AlertBox}>


### Řešené příklady
- [Kubíkovy vypracované otázky](https://github.com/chamik/vapl-otazky/releases/latest/download/otazky.pdf)
- [Řešené příklady z Bulínova cvičení](https://jbulin.github.io/teaching/fall/nail062/cviceni/)
- [Řešené písemky](https://docs.google.com/document/ d/1eZFQWMl9gHtISmeJ0v6BCBj3vDoY27dFCB4N_w1OpRU/edit) [[záloha 23.1.2026](/NAIL062/resene-tazky.pdf)]
- [Bodon vypracované otázky](/NAIL062/bodon_vapl_ultimate.txt)
- ![Samko vypracované otázky](/NAIL062/Spracovanie_otazok.pdf)
### Videa
- [Vertasium - video o Gödelových větách](https://odysee.com/@veritasium:f/you-can't-prove-everything-that's-true:f)

### Dokumentace
- [pycosat](https://rhettinger.github.io/einstein.html) - jeden z těch hezčích SAT solverů (dokumentace + hezké příklady)
- [Pravdivostní tabulka](https://truth-table.com/)
- [Predikátový tablo solver](https://www.umsu.de/trees/)

### Zdrojové kódy
- [Bulínův web](https://github.com/jbulin/jbulin.github.io)
- [Bulínova skripta](https://github.com/jbulin-mff-uk/nail062/tree/main/lecture/skripta)
- [Upravená skripta](https://github.com/mariansam/vapl-skripta)
- [Kubíkovy vypracované otázky](https://github.com/chamik/vapl-otazky) - úpravy vítány!

## Tradice

> $$(\forall s)(\mathrm{složíZkouškuZLogiky}(s) \rightarrow \mathrm{dáSiPivoUBulínů}(s))$$
>
> ![U Bulínů](/NAIL062/u_bulinu.jpg)
> [mapy.com/s/getododamo](https://mapy.com/s/getododamo)


## Memes
- ![Mlčkovo skripta](/NAIL062/mlcek.pdf)
<{ImageGallery()}>
![ukázka](/NAIL062/ukazka.jpg)
![Stop doing logic](/NAIL062/stop-doing-logic.jpg)
![Teorie: množina formulí](/NAIL062/teorie.png)
![Splnitelná](/NAIL062/splnitelna.png)
<{/ImageGallery}>