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ů

### Jazyk

Logika prvního řádu

Formální systém logiky prvního řádu obsahuje jazyk, axiomy, odvozovací pravidla, věty a důkazy. Jazyk prvního řádu zahrnuje:

- neomezeně mnoho proměnných
- funkční symboly , každý má aritu
- predikátové symboly , každý má aritu
- symboly pro logické spojky ( )
- symboly pro kvantifikátory ( )
- může (ale nemusí) obsahovat binární predikát , který pak se pak ale musí chovat jako rovnost, tj. splňovat určité axiomy (někdy se potom proto řadí mezi logické symboly).

Proměnné, logické spojky a kvantifikátory jsou logické symboly, ostatní symboly se nazývají speciální.

Definice (Jazyk výrokové logiky)

Jazyk výrokové logiky je jazyk prvního řádu, obsahující výrokové proměnné (prvotní formule), logické spojky a pomocné symboly (závorky).

Definice (Jazyk predikátové logiky)

Jazyk predikátové logiky je jazyk prvního řádu, obsahující proměnné, predikátové symboly (s nenulovou aritou), funkční symboly (mohou mít nulovou aritu), symboly pro logické spojky a symboly pro kvantifikátory.