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ů

### Formule

Definice (Formule výrokové logiky)

Pro jazyk výrokové logiky jsou následující výrazy formule:

1. každá výroková proměnná
2. pro formule i výrazy , , , ,
3. každý výraz vzniknuvší konečným užitím pravidel 1. a 2.

Množina formulí se nazývá teorie.

Definice (Term)

V predikátové logice je term:

1. každá proměnná
2. výraz pro -ární funkční symbol a termy
3. každý výraz vzniknuvší konečným užitím pravidel 1. a 2.

Podslovo termu, které je samo o sobě term, se nazývá podterm.

Definice (Formule predikátové logiky)

V predikátové logice je formule každý výraz tvaru pro predikátový symbol a termy. Stejně jako ve výrokové logice je formule i (konečné) spojení jednodušších formulí log. spojkami. Formule jsou navíc i výrazy a pro formuli a samozřejmě cokoliv, co vznikne konečným užitím těchto pravidel.

Podslovo formule, které je samo o sobě formule, se nazývá podformule.

Definice (Volné a vázané proměnné)

Výskyt proměnné ve formuli je vázaný, je-li tato součástí nějaké podformule tvaru nebo . V opačném případě je volný. Formule je otevřená, pokud neobsahuje vázanou proměnnou, je uzavřená, když neobsahuje volnou proměnnou. Proměnná může být v téže formuli volná i vázaná (např. ).