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ů

### Pravdivost

Definice (Pravdivá formule výrokové logiky)

Formule výrokové logiky je pravdivá při ohodnocení , je-li , jinak je nepravdivá. Je-li formule pravdivá při ohodnocení , pak říkáme, že je model ( ).

Definice (Tarského definice pravdy)

Pro daný (redukovaný, tj. jen se základními log. spojkami) jazyk predikátové logiky , jeho interpretaci, ohodnocení a formuli tohoto jazyka platí:

1. je splněna v ohodnocení ( ), když:
   - je atomická tvaru , kde není rovnost a .
   - je atomická tvaru a
   - je tvaru a
   - je tvaru a nebo
   - je tvaru a pro každé
   - je tvaru a pro nějaké
2. je pravdivá v interpretaci ( ), jestliže je splněna v při každém ohodnocení proměnných (pro uzavřené formule stačí jedno ohodnocení, splnění je vždy stejné)

Definice (Logicky pravdivá formule predikátové logiky)

Formule je validní (logicky pravdivá) (), když je platná při každé interpretaci daného jazyka.