Algebraická definice - Algebraic definition
![]() | tento článek ne uvést žádný Zdroje.Prosince 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
v matematická logika, an algebraická definice je ten, který lze zadat pouze pomocí rovnic mezi výrazy s volné proměnné. Nerovnosti a kvantifikátory jsou konkrétně zakázány.
Říkat, že definice je algebraická, je silnější podmínkou, než tvrdit, že je základní.
![]() | Tento matematická logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |