Pravidlo formace - Formation rule
v matematická logika, pravidla formace jsou pravidla pro popis toho struny z symboly vytvořený z abeceda a formální jazyk jsou syntakticky platný v daném jazyce. Tato pravidla řeší pouze umístění a manipulaci s řetězci jazyka. Nepopisuje nic jiného o jazyce, například jeho sémantika (tj. co znamenají řetězce). (Viz také formální gramatika ).
Formální jazyk
A formální jazyk je organizovaný soubor z symboly základní vlastností je, že jej lze přesně definovat pouze z hlediska tvarů a umístění těchto symbolů. Takový jazyk lze tedy definovat bez jakéhokoli odkaz každému významy kteréhokoli z jeho výrazů; může existovat dříve výklad je mu přiřazeno - tedy dříve, než má jakýkoli význam. A formální gramatika určuje, které symboly a sady symbolů jsou vzorce ve formálním jazyce.
Formální systémy
A formální systém (také nazývaný a logický početnebo logický systém) se skládá z formálního jazyka společně s a deduktivní aparát (také nazývaný a deduktivní systém). Dedukční aparát může sestávat ze sady pravidla transformace (také zvaný odvozovací pravidla) nebo soubor axiomy, nebo mít obojí. Formální systém je zvyklý odvodit jeden výraz z jednoho nebo více dalších výrazů. Výroky a predikáty jsou příklady formálních systémů.
Výroková a predikční logika
Pravidla formace a výrokový kalkul může mít například formu, která;
- vezmeme-li Φ jako výrokový vzorec, můžeme také brát Φ být vzorec;
- vezmeme-li Φ a Ψ jako výrokové vzorce, můžeme je také vzít (Φ Ψ), (Φ Ψ), (Φ Ψ) a (Φ Ψ) být také vzorce.
A predikátový počet bude obvykle zahrnovat všechna stejná pravidla jako výrokový počet s přidáním kvantifikátory takový, že když vezmeme Φ jako vzorec výrokové logiky a α jako a proměnná pak můžeme vzít (α) Φ a (α) Φ, každý z nich je vzorcem našeho predikátového počtu.
