Procházet otázky :: SZZ na MFF UK

#

- Hlavní strana
- Okruhy
- Projít
- Stáhnout
- Co je potřeba
- Chci přispět
- Kredity

Hledat:

## Prohlížení státnicových textů

## Rozhodnutelnost, splnitelnost, pravdivost a dokazatelnost

Z těchto témat se rozhodnutelnosti budeme věnovat až jako poslední, protože k vyslovení některých vět budeme potřebovat pojmy, definované v částech o splnitelnosti, pravdivosti a dokazatelnosti.

Subsections

- Splnitelnost
- Pravdivost
- Dokazatelnost
- Rozhodnutelnost