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ů

### Tautologie

Definice (Tautologie ve výrokové logice)

Formule je tautologie, jestliže je pravdivá při libovolném ohodnocení proměnných ().

Definice (Tautologický důsledek)

Teorie je tautologický důsledek teorie , jestliže každý model je také modelem ( ). Model nějaké teorie ve výrokové logice je takové ohodnocení proměnných, že každá formule z této teorie je pravdivá. K modelům se ještě vrátíme v následující sekci.