Formule (logika): Porovnání verzí
Smazaný obsah Přidaný obsah
+ různé významy |
m Odstranění linku na rozcestník Rovnost s použitím robota - Změněn(y) odkaz(y) na rovnost (matematika) |
||
Řádek 13:
=== Atomická formule ===
Atomická formule jazyka ''L'' je výraz tvaru <math>P(t_1, \ldots, t_n)</math>, kde P je n-ární predikátový symbol jazyka ''L'' a <math>t_1, \ldots, t_n</math> jsou termy nebo (jde-li o logiku s [[rovnost (matematika)|rovnost]]í) tvaru <math>\,t_1=t_2</math>, kde <math>\,t_1,t_2</math> jsou termy.
=== Formule ===
| |||