Formule (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
čárky |
|||
Řádek 9:
* Každý konstantní symbol ''c'' jazyka ''L'' je term.
* Kdykoli ''F'' je n-ární funkční symbol jazyka ''L'' a <math>t_1, \ldots, t_n</math> jsou termy, pak <math>F(t_1, \ldots, t_n)</math> je term.
* Nic, co nevzniklo pomocí předchozích pravidel, není term
=== Atomická formule ===
| |||